Merge pull request #3719 from tautschnig/ssa-field-sensitivity-l1

tautschnig · web-flow · commit af79d4e6e250 · 2019-01-09T15:54:04.000Z
Ensure ssa_expr's l1-identifier is consistent with its identifier [blocks: #2574]
diff --git a/src/util/ssa_expr.cpp b/src/util/ssa_expr.cpp
@@ -32,6 +32,7 @@ static void build_ssa_identifier_rec(
     build_ssa_identifier_rec(member.struct_op(), l0, l1, l2, os, l1_object_os);
 
     os << '.' << member.get_component_name();
+    l1_object_os << '.' << member.get_component_name();
   }
   else if(expr.id()==ID_index)
   {
@@ -41,6 +42,7 @@ static void build_ssa_identifier_rec(
 
     const mp_integer idx = numeric_cast_v<mp_integer>(index.index());
     os << '[' << idx << ']';
+    l1_object_os << '[' << idx << ']';
   }
   else if(expr.id()==ID_symbol)
   {

Original file line number	Diff line number	Diff line change
`@@ -32,6 +32,7 @@ static void build_ssa_identifier_rec(`
`32`	`32`	`build_ssa_identifier_rec(member.struct_op(), l0, l1, l2, os, l1_object_os);`
`33`	`33`
`34`	`34`	`os << '.' << member.get_component_name();`
	`35`	`+ l1_object_os << '.' << member.get_component_name();`
`35`	`36`	`}`
`36`	`37`	`else if(expr.id()==ID_index)`
`37`	`38`	`{`
`@@ -41,6 +42,7 @@ static void build_ssa_identifier_rec(`
`41`	`42`
`42`	`43`	`const mp_integer idx = numeric_cast_v<mp_integer>(index.index());`
`43`	`44`	`os << '[' << idx << ']';`
	`45`	`+ l1_object_os << '[' << idx << ']';`
`44`	`46`	`}`
`45`	`47`	`else if(expr.id()==ID_symbol)`
`46`	`48`	`{`