# HG changeset patch
# User Manuele Conti <conti.ma@alice.it>
# Date 1335023035 -7200
# Node ID 6e610449861a16bfe88c36485bd89a1c8ea648d3
# Parent  77bff42a025e67303c9010ae6d207c8dbbc9cd35
Add lvalue check on fb invocation.

diff -r 77bff42a025e -r 6e610449861a stage3/lvalue_check.cc
--- 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 */
 /********************************/
diff -r 77bff42a025e -r 6e610449861a stage3/lvalue_check.hh
--- 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 */
     /********************************/