Add lvalue check on fb invocation.
--- 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 */
/********************************/