l3-ENSL/c-repl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Analysis: check return value

Browse Source
This commit is contained in:
augustin64 2024-01-03 18:09:28 +01:00
parent 1553df6328
commit 9161597c13
3 changed files with 24 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
src/analysis.cpp
View File

@ -286,7 +286,7 @@ AnalysisResult analyze(Node &ast, Memory &memory) {
if (memory.contains(function_name)) {
// Il existe une variable non fonction à ce nom
if (memory.get(function_name).type.type != TypeType::Function) {
throw RuntimeError(ErrorType::IncompatibleRedefinition, token.pos, function_name);
throw TypeError(ErrorType::IncompatibleRedefinition, token.pos, function_name);
}
Type old_type = memory.get(function_name).type;
@ -326,7 +326,7 @@ AnalysisResult analyze(Node &ast, Memory &memory) {
if (memory.contains(function_name)) {
// Il existe une variable non fonction à ce nom
if (memory.get(function_name).type.type != TypeType::Function) {
throw RuntimeError(ErrorType::IncompatibleRedefinition, token.pos, function_name);
throw TypeError(ErrorType::IncompatibleRedefinition, token.pos, function_name);
}
Type old_type = memory.get(function_name).type;
@ -358,23 +358,37 @@ AnalysisResult analyze(Node &ast, Memory &memory) {
if (!memory.contains(function_name))
throw RuntimeError(ErrorType::UnknownIdentifier, token.pos, function_name);
if (memory.contains(function_name) && !memory.get(function_name).initialized)
throw RuntimeError(ErrorType::UninitializedIdentifier, token.pos, function_name);
MemoryVar function = memory.get(function_name);
if (get<InnerNode>(node.children[1]).children.size() != get<FunctionPrototype>(function.type.data).size()-1)
throw RuntimeError(ErrorType::UnexpectedArgumentCount, token.pos, int(get<FunctionPrototype>(function.type.data).size())-1);
throw TypeError(ErrorType::UnexpectedArgumentCount, token.pos, int(get<FunctionPrototype>(function.type.data).size())-1);
return get<0>(get<FunctionPrototype>(function.type.data).at(0));
} break;
case NodeType::Return: {
MemoryVar function;
try {
memory.get_function_scope();
function = *memory.get_function_scope().fn;
} catch (const InternalError& _) {
throw RuntimeError(ErrorType::UnexpectedReturn, node.pos, {});
}
FunctionPrototype prototype = get<FunctionPrototype>(function.type.data);
Type return_type = get<0>(prototype.at(0));
if (return_type.type == TypeType::Void) {
if (node.children.size() != 0)
throw TypeError(ErrorType::IncompatibleReturnValue, node.pos, {});
return {};
}
if (node.children.size() == 0)
throw TypeError(ErrorType::IncompatibleReturnValue, node.pos, {});
AnalysisResult res = analyze(node.children[0], memory);
AnalysisResult expected_type = return_type;
get_cast(res, expected_type, node.pos);
return {};
}
default:

1
src/errors.cpp
View File

@ -30,6 +30,7 @@ string UserError::get_message(void) const {
case ErrorType::IncompatibleDefinition: return "Declaration of '"+get<string>(this->data)+"' is incompatible with previous prototype";
case ErrorType::UnexpectedArgumentCount: return "Expected "+to_string(get<int>(this->data))+" arguments to function call";
case ErrorType::UnexpectedReturn: return "Return not within a function";
case ErrorType::IncompatibleReturnValue: return "Return value type does not match the function type";
case ErrorType::ExpectedArithmeticType: return "Expression must have arithmetic type";
case ErrorType::UnknownIdentifier: return "Unknown identifier '"+get<string>(this->data)+"'";
case ErrorType::AlreadyDeclaredIdentifier: return "Already declared identifier '"+get<string>(this->data)+"'";

1
src/include/errors.h
View File

@ -39,6 +39,7 @@ enum class ErrorType {
IncompatibleDefinition, // function declaration incompatible with prototype
UnexpectedArgumentCount,
UnexpectedReturn,
IncompatibleReturnValue,
// Runtime
UnknownIdentifier,