[PATCH] D98341: [analyzer][solver] Prevent infeasible states (PR49490)

[Balázs Benics via Phabricator via cfe-commits]

steakhal added inline comments.


================
Comment at: clang/test/Analysis/PR49490.cpp:12
+
+int *ints;
+int oob_access();
----------------
I think you can remove this line.
We already have a global variable to be invalidated by the evaluation of `oob_access()` call.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D98341/new/

https://reviews.llvm.org/D98341