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

[Arseniy Zaostrovnykh 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) {
----------------
necto wrote:

Done: https://github.com/llvm/llvm-project/pull/121551/commits/115814c2776b6acc8f4a08ec696a3cb27a7c0ebd#diff-b857e7d32a22c18619e58b7971b4acc7823f5603c89f011bb3c7180c755641cdR51-R52

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