Verilog: add symbols below generate-if

regression/verilog/generate/generate-if1.desc

@@ -0,0 +1,6 @@
+CORE
+generate-if1.v
+--module main --bound 0
+^EXIT=0$
+^SIGNAL=0$
+--

regression/verilog/generate/generate-if1.v

@@ -0,0 +1,18 @@
+module main;
+
+  parameter MAX = 'd1;
+  parameter something = 1;
+
+  wire [MAX-1:0] my_wire;
+
+  generate
+    if(something) begin
+      genvar i;
+      for (i = 0; i < MAX; i = i + 1)
+        assign my_wire[i] = 1;
+    end
+  endgenerate
+
+  always assert p1: my_wire == 1;
+
+endmodule

regression/verilog/generate/generate-inst1.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 generate-inst1.v
 
 ^EXIT=10$

src/verilog/verilog_interfaces.cpp

@@ -722,6 +722,45 @@ void verilog_typecheckt::interface_generate_block(
 
 /*******************************************************************\
 
+Function: verilog_typecheckt::interface_generate_for
+
+  Inputs:
+
+ Outputs:
+
+ Purpose:
+
+\*******************************************************************/
+
+void verilog_typecheckt::interface_generate_for(
+  const verilog_generate_fort &generate_for)
+{
+  interface_module_item(generate_for.body());
+}
+
+/*******************************************************************\
+
+Function: verilog_typecheckt::interface_generate_if
+
+  Inputs:
+
+ Outputs:
+
+ Purpose:
+
+\*******************************************************************/
+
+void verilog_typecheckt::interface_generate_if(
+  const verilog_generate_ift &generate_if)
+{
+  interface_module_item(generate_if.then_case());
+
+  if(generate_if.has_else_case())
+    interface_module_item(generate_if.else_case());
+}
+
+/*******************************************************************\
+
 Function: verilog_typecheckt::interface_module_item
 
   Inputs:
@@ -757,6 +796,10 @@ void verilog_typecheckt::interface_module_item(
     interface_statement(to_verilog_initial(module_item).statement());
   else if(module_item.id()==ID_generate_block)
     interface_generate_block(to_verilog_generate_block(module_item));
+  else if(module_item.id() == ID_generate_if)
+    interface_generate_if(to_verilog_generate_if(module_item));
+  else if(module_item.id() == ID_generate_for)
+    interface_generate_for(to_verilog_generate_for(module_item));
 }
 
 /*******************************************************************\

src/verilog/verilog_typecheck.h

@@ -120,6 +120,8 @@ class verilog_typecheckt:
   void interface_module_item(const class verilog_module_itemt &);
   void interface_block(const class verilog_blockt &);
   void interface_generate_block(const class verilog_generate_blockt &);
+  void interface_generate_for(const verilog_generate_fort &);
+  void interface_generate_if(const verilog_generate_ift &);
   void interface_statement(const class verilog_statementt &);
   void interface_function_or_task(const class verilog_declt &);