Skip to content

Commit 0ebe821

Browse files
committed
fixup! fix exprt::opX accesses in linker_script_merge
In one case 7bf94f1 wrongly turned `index_exprt::op0` into `index_exprt::index()` when that should be `::array()`. Running tests on aarch64 was thus broken (but we don't yet do that in CI).
1 parent c9653bd commit 0ebe821

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/goto-cc/linker_script_merge.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -136,7 +136,7 @@ linker_script_merget::linker_script_merget(
136136
"address of array's first member",
137137
[](const exprt &expr) -> const symbol_exprt & {
138138
return to_symbol_expr(
139-
to_index_expr(to_address_of_expr(expr).object()).index());
139+
to_index_expr(to_address_of_expr(expr).object()).array());
140140
},
141141
[](const exprt &expr) {
142142
return expr.id() == ID_address_of &&

0 commit comments

Comments
 (0)