treat real and integer as 'numeric' in C front-end

Author: Daniel Kroening

src/ansi-c/c_typecheck_base.h

@@ -265,7 +265,9 @@ class c_typecheck_baset:
            src.id()==ID_c_bool ||
            src.id()==ID_bool ||
            src.id()==ID_c_enum_tag ||
-           src.id()==ID_c_bit_field;
+           src.id()==ID_c_bit_field ||
+           src.id()==ID_integer ||
+           src.id()==ID_real;
   }
 
   typedef std::unordered_map<irep_idt, irep_idt, irep_id_hash> asm_label_mapt;