[clang] [clang][analyzer] Stabilize path-constraint order by using alloc IDs (PR #121347)

[Balazs Benics via cfe-commits]

================
@@ -427,8 +434,8 @@ class BinarySymExprImpl : public BinarySymExpr {
 
 public:
   BinarySymExprImpl(LHSTYPE lhs, BinaryOperator::Opcode op, RHSTYPE rhs,
-                    QualType t)
-      : BinarySymExpr(ClassKind, op, t), LHS(lhs), RHS(rhs) {
+                    QualType t, AllocIDType AllocID)
+      : BinarySymExpr(ClassKind, op, t, AllocID), LHS(lhs), RHS(rhs) {
----------------
steakhal wrote:

Alright. That makes sense :D Could you leave a comment about this somewhere?

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