Merge pull request diffblue#273 from diffblue/smowton/fix/end_to_end_tests

smowton · web-flow · commit 37a5f02e5ac4 · 2017-11-30T17:41:58.000Z
SEC-144: Add a variety of end-to-end security analyser tests, and fix several bugs exposed by them
diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
@@ -845,6 +845,7 @@ IREP_ID_ONE(havoc_object)
 IREP_ID_TWO(overflow_shl, overflow-shl)
 IREP_ID_ONE(lvsa_evs_type)
 IREP_ID_ONE(is_initializer)
+IREP_ID_TWO(C_is_taint_wrapper_type, #is_taint_wrapper_type)
 
 #undef IREP_ID_ONE
 #undef IREP_ID_TWO
