}
case nonloc::SymbolValKind:
- if (isa<nonloc::ConcreteInt>(R)) {
- if (Op >= BinaryOperator::LT && Op <= BinaryOperator::NE) {
- const SymIntExpr *SE =
- Eng.getSymbolManager().getSymIntExpr(
- cast<nonloc::SymbolVal>(L).getSymbol(), Op,
- cast<nonloc::ConcreteInt>(R).getValue(),T);
-
-
- return nonloc::SymExprVal(SE);
- } else {
- return NonLoc::MakeVal(Eng.getSymbolManager(),
- cast<nonloc::SymbolVal>(L).getSymbol(),
- Op, cast<nonloc::ConcreteInt>(R).getValue(),
- T);
- }
- }
+ if (isa<nonloc::ConcreteInt>(R))
+ return NonLoc::MakeVal(Eng.getSymbolManager(),
+ cast<nonloc::SymbolVal>(L).getSymbol(), Op,
+ cast<nonloc::ConcreteInt>(R).getValue(), T);
else
return UnknownVal();
}