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

[Donát Nagy 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());
----------------
NagyDonat wrote:

```suggestion
        SSE->getRHS(), SSE->getOpcode(), SSE->getLHS(), SSE->getType());
```
Don't hardcode addition here!

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