steakhal wrote:

Hi, thanks for the PR!

I'm slightly confused that the compiler crash you refer to comes from the 
stdlibrary fn checker.
This suggest to me a checker problem - and likely relates to the stdlibraryfn 
checker early return.

However, this also couples with a solver change. Is this improving the solver 
that would also make the checker avoid the crash? If this is the case, then we 
should have separate PRs because we should harden the checker on one side, and 
also improve the solver in an other area.

In any case, I'll have a look at this next week.

https://github.com/llvm/llvm-project/pull/115579
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to