[clang] [analyzer] Improve solver (PR #112583)

[Balazs Benics via cfe-commits]

================
@@ -1485,6 +1487,18 @@ class SymbolicRangeInferrer
         Sym->getType());
   }
 
+  std::optional<RangeSet> getRangeCommutativeSymSym(const SymSymExpr *SSE) {
+    bool IsCommutative = llvm::is_contained({BO_Add, BO_Mul}, SSE->getOpcode());
+    if (!IsCommutative)
+      return std::nullopt;
+
+    SymbolRef Commuted = State->getSymbolManager().getSymSymExpr(
+        SSE->getRHS(), BO_Add, SSE->getLHS(), SSE->getType());
----------------
steakhal wrote:

Uhh, yes. That was a nasty bug. Thanks for spotting it!

https://github.com/llvm/llvm-project/pull/112583