steakhal wrote: > I'm running our usual evaluation job because I have added an assertion (that > `Location` is not a `NonLoc`) with the reasoning that it "makes sense and > should be true", the LIT tests are passing and I don't see a counterexample.
Do you have asserts enabled in the benchmark? I think the trick for creating a test case for this is to figure out how to have a `loc::ConcreteInt`. If you have one SVal like that, you can assign to it to trigger the evalBind. https://github.com/llvm/llvm-project/pull/196313 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
