Add lvalue check on fb invocation.
authorManuele Conti <conti.ma@alice.it>
Sat, 21 Apr 2012 17:43:55 +0200
changeset 526 6e610449861a
parent 525 77bff42a025e
child 527 1d83209aabfe
Add lvalue check on fb invocation.
stage3/lvalue_check.cc
stage3/lvalue_check.hh
--- a/stage3/lvalue_check.cc	Thu Apr 19 19:49:11 2012 +0100
+++ b/stage3/lvalue_check.cc	Sat Apr 21 17:43:55 2012 +0200
@@ -385,6 +385,15 @@
 	return NULL;
 }
 
+/*****************************************/
+/* B 3.2.2 Subprogram Control Statements */
+/*****************************************/
+void *lvalue_check_c::visit(fb_invocation_c *symbol) {
+	if (NULL != symbol->formal_param_list   )  check_formal_call   (symbol, symbol->called_fb_declaration);
+	if (NULL != symbol->nonformal_param_list)  check_nonformal_call(symbol, symbol->called_fb_declaration);
+	return NULL;
+}
+
 /********************************/
 /* B 3.2.4 Iteration Statements */
 /********************************/
--- a/stage3/lvalue_check.hh	Thu Apr 19 19:49:11 2012 +0100
+++ b/stage3/lvalue_check.hh	Sat Apr 21 17:43:55 2012 +0200
@@ -96,6 +96,11 @@
     /*********************************/
     void *visit(assignment_statement_c *symbol);
 
+    /*****************************************/
+    /* B 3.2.2 Subprogram Control Statements */
+    /*****************************************/
+    void *visit(fb_invocation_c *symbol);
+
     /********************************/
     /* B 3.2.4 Iteration Statements */
     /********************************/