add two parser warnings

mpictor · mpictor · commit f1470bbd4c04 · 2012-06-24T11:22:18.000-04:00
diff --git a/include/express/resolve.h b/include/express/resolve.h
@@ -65,6 +65,9 @@ GLOBAL SCL_EXPRESS_EXPORT Error    ERROR_circular_reference    INITIALLY( ERROR_
 GLOBAL SCL_EXPRESS_EXPORT Error    ERROR_ambiguous_attribute   INITIALLY( ERROR_none );
 GLOBAL SCL_EXPRESS_EXPORT Error    ERROR_ambiguous_group       INITIALLY( ERROR_none );
 
+GLOBAL SCL_EXPRESS_EXPORT Error    WARNING_case_skip_label     INITIALLY( ERROR_none );
+GLOBAL SCL_EXPRESS_EXPORT Error    WARNING_fn_skip_branch      INITIALLY( ERROR_none );
+
 #undef GLOBAL
 #undef INITIALLY
 
diff --git a/src/express/resolve.c b/src/express/resolve.c
@@ -213,9 +213,16 @@ void RESOLVEinitialize( void ) {
     ERROR_missing_self = ERRORcreate(
                              "Domain rule %s must refer to SELF or attribute.", SEVERITY_ERROR );
 
+    WARNING_fn_skip_branch = ERRORcreate(
+        "IF statement condition is always %s. Ignoring branch that is never taken.", SEVERITY_WARNING );
+
+    WARNING_case_skip_label = ERRORcreate("CASE label %s cannot be matched. Ignoring its statements.", SEVERITY_WARNING);
+
     ERRORcreate_warning( "circular_subtype", ERROR_subsuper_loop );
     ERRORcreate_warning( "circular_select", ERROR_select_loop );
     ERRORcreate_warning( "entity_as_type", ERROR_type_is_entity );
+    ERRORcreate_warning( "invariant_condition", WARNING_fn_skip_branch );
+    ERRORcreate_warning( "invalid_case", WARNING_case_skip_label );
 }
 
 /** Clean up the Fed-X second pass */
@@ -252,6 +259,8 @@ void RESOLVEcleanup( void ) {
     ERRORdestroy( ERROR_redecl_no_such_attribute );
     ERRORdestroy( ERROR_redecl_no_such_supertype );
     ERRORdestroy( ERROR_missing_self );
+    ERRORdestroy( WARNING_case_skip_label );
+    ERRORdestroy( WARNING_fn_skip_branch );
 }
 
 /**
