isuckatcs wrote: > I presume that you understand its role
I don't remember why I did it with pattern matching. I guess, I wasn't aware that `getSVal()` will return the binding even if it's enveloped by other expressions. https://github.com/llvm/llvm-project/pull/113570 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits