proper error message for out-of-range enum sets (#24027) - Nim - This repository contains the Nim compiler, Nim's stdlib, tools, and documentation. (mirror)

diff options

author	metagn <metagngn@gmail.com>	2024-08-29 17:13:06 +0300
committer	GitHub <noreply@github.com>	2024-08-29 16:13:06 +0200
commit	b7b1313d21deb687adab2b4a162e716ba561a26b (patch)
tree	b04d1718fa65cc6d03f1385cf9a2ec672cfccf6d /compiler/plugins
parent	d7e77b330f3f84a9cebcca057c0697687ebe8ec3 (diff)
download	Nim-b7b1313d21deb687adab2b4a162e716ba561a26b.tar.gz

proper error message for out-of-range enum sets (#24027)

fixes #17848

Diffstat (limited to 'compiler/plugins')

0 files changed, 0 insertions, 0 deletions

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <title>Mu - 037call_reply.cc</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="cpp"> <meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy="> <meta name="colorscheme" content="minimal"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body> <pre id='vimCodeElement'> //: Calls can also generate products, using 'reply'. :(scenario reply) recipe main [ 3:integer, 4:integer <- f 2:literal ] recipe f [ 12:integer <- next-ingredient 13:integer <- add 1:literal, 12:integer reply 12:integer, 13:integer ] +run: instruction main/0 +run: result 0 is 2 +mem: storing 2 in location 3 +run: result 1 is 3 +mem: storing 3 in location 4 :(before "End Primitive Recipe Declarations") REPLY, :(before "End Primitive Recipe Numbers") Recipe_number["reply"] = REPLY; :(before "End Primitive Recipe Implementations") case REPLY: { vector<vector<long long int> > callee_results; for (index_t i = 0; i < current_instruction().ingredients.size(); ++i) { callee_results.push_back(read_memory(current_instruction().ingredients[i])); } const instruction& reply_inst = current_instruction(); // save pointer into recipe before pop Current_routine->calls.pop(); assert(!Current_routine->calls.empty()); const instruction& caller_instruction = current_instruction(); assert(caller_instruction.products.size() <= callee_results.size()); for (index_t i = 0; i < caller_instruction.products.size(); ++i) { trace("run") << "result " <" is " << to_string(callee_results[i]); // check that any reply ingredients with /same-as-ingredient connect up // the corresponding ingredient and product in the caller. if (has_property(reply_inst.ingredients[i], "same-as-ingredient")) { vector<string> tmp = property(reply_inst.ingredients[i], "same-as-ingredient"); assert(tmp.size() == 1); long long int ingredient_index = to_int(tmp[0]); if (caller_instruction.products[i].value != caller_instruction.ingredients[ingredient_index].value) raise << "'same-as-ingredient' result " << caller_instruction.products[i].value << " must be location " << caller_instruction.ingredients[ingredient_index].value << '\n'; } write_memory(caller_instruction.products[i], callee_results[i]); } break; // instruction loop will increment caller's step_index } //: Products can include containers and exclusive containers, addresses and arrays. :(scenario reply_container) recipe main [ 3:point <- f 2:literal ] recipe f [ 12:integer <- next-ingredient 13:integer <- copy 35:literal reply 12:point ] +run: instruction main/0 +run: result 0 is [2, 35] +mem: storing 2 in location 3 +mem: storing 35 in location 4 //: In mu we'd like to assume that any instruction doesn't modify its //: ingredients unless they're also products. The /same-as-ingredient inside //: the recipe's 'reply' will help catch accidental misuse of such //: 'ingredient-results' (sometimes called in-out parameters in other languages). :(scenario reply_same_as_ingredient) % Hide_warnings = true; recipe main [ 1:address:integer <- new integer:type 2:address:integer <- test1 1:address:integer # call with different ingredient and product ] recipe test1 [ 10:address:integer <- next-ingredient reply 10:address:integer/same-as-ingredient:0 ] +warn: 'same-as-ingredient' result 2 must be location 1 :(code) string to_string(const vector<long long int>& in) { if (in.empty()) return "[]"; ostringstream out; if (in.size() == 1) { out << in[0]; return out.str(); } out << "["; for (index_t i = 0; i < in.size(); ++i) { if (i > 0) out << ", "; out << in[i]; } out << "]"; return out.str(); } </pre> </body> </html>


context:
space:
mode: