Added special handling for assigning void function to a variable (req…

…uired)
loumadev · Nov 28, 2023 · 2aae2d2 · 2aae2d2
1 parent 224e585
commit 2aae2d2
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/src/compiler/analyser/Analyser.c b/src/compiler/analyser/Analyser.c
@@ -624,6 +624,15 @@ AnalyserResult __Analyser_analyseBlock(Analyser *analyser, BlockASTNode *block)
 						AnalyserResult result = Analyser_resolveExpressionType(analyser, declaratorNode->initializer, block->scope, declaration->type, &type);
 						if(!result.success) return result;
 
+						// This was requested by the assignment
+						if(declaration->type.type == TYPE_VOID) {
+							return AnalyserError(
+								RESULT_ERROR_SEMANTIC_INVALID_TYPE,
+								String_fromFormat("cannot use initializer for variable of type 'Void'"),
+								NULL
+							);
+						}
+
 						if(declaratorNode->pattern->type) {
 							declaratorNode->pattern->type->type = Analyser_TypeReferenceToValueType(declaratorNode->pattern->type);
 

diff --git a/test/compiler/analyser/Analyser.test.c b/test/compiler/analyser/Analyser.test.c
@@ -3298,7 +3298,8 @@ DESCRIBE(return_statement, "Analysis of a return statement") {
 		EXPECT_TRUE(parserResult.success);
 
 		analyserResult = Analyser_analyse(&analyser, (ProgramASTNode*)parserResult.node);
-		EXPECT_TRUE(analyserResult.success);
+		// EXPECT_TRUE(analyserResult.success);
+		EXPECT_FALSE(analyserResult.success);
 	} TEST_END();
 
 	TEST_BEGIN("Invalid assignment of the void expression to the variable") {