[clang] [clang][dataflow] Add test for crash repro and clean up const accessor handling (PR #129930)

[Yitzhak Mandelbaum via cfe-commits]

================
@@ -551,15 +551,18 @@ void transferCallReturningOptional(const CallExpr *E,
   setHasValue(*Loc, State.Env.makeAtomicBoolValue(), State.Env);
 }
 
-void handleConstMemberCall(const CallExpr *CE,
+bool handleConstMemberCall(const CallExpr *CE,
----------------
ymand wrote:

Please comment on the meaning of the return value.

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