Skip to content

Commit e1a2b06

Browse files
misonijniksava-cska
authored andcommitted
[fix] base cannot be ConstantExpr
1 parent b836c78 commit e1a2b06

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

lib/Core/Executor.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2866,7 +2866,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) {
28662866
offset = AddExpr::create(offset,
28672867
Expr::createPointer(kgepi->offset));
28682868
ref<Expr> address = AddExpr::create(base, offset);
2869-
if (UseGEPExpr && !isa<ConstantExpr>(address)) {
2869+
if (UseGEPExpr && !isa<ConstantExpr>(address) && !isa<ConstantExpr>(base)) {
28702870
if (isGEPExpr(base))
28712871
gepExprBases[address] = gepExprBases[base];
28722872
else

0 commit comments

Comments
 (0)