================
@@ -287,43 +287,77 @@ static std::pair<SymbolRef, APSIntPtr>
decomposeSymbol(SymbolRef Sym,
return std::make_pair(Sym, BV.getValue(0, Sym->getType()));
}
-// Simplify "(LSym + LInt) Op (RSym + RInt)" assuming all values are of the
-// same signed integral type and no overflows occur (which should be checked
-// by the caller). May return UnknownVal if the symbol complexity threshold is
-// reached.
-static SVal doRearrangeUnchecked(ProgramStateRef State,
- BinaryOperator::Opcode Op, SymbolRef LSym,
- llvm::APSInt LInt, SymbolRef RSym,
- llvm::APSInt RInt) {
- SValBuilder &SVB = State->getStateManager().getSValBuilder();
- BasicValueFactory &BV = SVB.getBasicValueFactory();
+// Simplify "(LSym + LInt) Op (RSym + RInt)" when all values are of the
+// same signed integral type and no overflows occurs. Returns the simplified
+// value or std::nullopt when the the preconditions are not satisfied or the
----------------
steakhal wrote:
```suggestion
// same signed integral type and no overflow occurs. Returns the simplified
// value or std::nullopt when the preconditions are not satisfied or the
```
https://github.com/llvm/llvm-project/pull/233441
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
