tomrittervg wrote:
> However, what should we do if multiple (N) classes implement Base? Trying
> each N, and basically splitting the state to (N+1) ways is not going to
> scale. Unless N is of course really small, like 2 or 3 at most.
That's kind of what I imagined - try them all. The Analyze
tomrittervg wrote:
Hm, testing these patches on the original testcase in #62663 (the one where we
use statements 1B and 2B) - I don't think this patchset solves that scenario...
https://github.com/llvm/llvm-project/pull/69057
___
cfe-commits mailing l
tomrittervg wrote:
This sounds crazy, but I think I found a bug in this patchset. I applied it on
top of the 17.0.2 tag, and then ran the whole analysis on mozilla-central. I
got segfaults on about 4000 executions, all with the same stack trace:
```
1. parser at end of file
2. Whi
