Merge pull request diffblue#376 from diffblue/bug/LVSA_export_rhs_null

JohnDumbell · web-flow · commit a7f834a20b50 · 2018-04-16T10:37:36.000+01:00
Allowing RHS null objects to be exported
diff --git a/src/pointer-analysis/local_value_set_analysis.cpp b/src/pointer-analysis/local_value_set_analysis.cpp
@@ -824,7 +824,7 @@ void lvsaa_single_external_set_summaryt::from_final_state(
         if(escaped_dynamic_objects.count(object_number))
           export_this_expr = true;
       }
-      else if(toexport->id() == ID_symbol)
+      else if(toexport->id() == ID_symbol || toexport->id() == "NULL-object")
         export_this_expr = true;
 
       if(!export_this_expr)

Original file line number	Diff line number	Diff line change
`@@ -824,7 +824,7 @@ void lvsaa_single_external_set_summaryt::from_final_state(`
`824`	`824`	`if(escaped_dynamic_objects.count(object_number))`
`825`	`825`	`export_this_expr = true;`
`826`	`826`	`}`
`827`		`- else if(toexport->id() == ID_symbol)`
	`827`	`+ else if(toexport->id() == ID_symbol \|\| toexport->id() == "NULL-object")`
`828`	`828`	`export_this_expr = true;`
`829`	`829`
`830`	`830`	`if(!export_this_expr)`