Allowing RHS null objects to be exported

JohnDumbell · JohnDumbell · commit ddb34635cb89 · 2018-04-13T11:00:10.000+01:00
diff --git a/src/pointer-analysis/local_value_set_analysis.cpp b/src/pointer-analysis/local_value_set_analysis.cpp
@@ -825,7 +825,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
`@@ -825,7 +825,7 @@ void lvsaa_single_external_set_summaryt::from_final_state(`
`825`	`825`	`if(escaped_dynamic_objects.count(object_number))`
`826`	`826`	`export_this_expr = true;`
`827`	`827`	`}`
`828`		`- else if(toexport->id() == ID_symbol)`
	`828`	`+ else if(toexport->id() == ID_symbol \|\| toexport->id() == "NULL-object")`
`829`	`829`	`export_this_expr = true;`
`830`	`830`
`831`	`831`	`if(!export_this_expr)`