[Bug analyzer/110090] -fanalyze sometimes assumes contradictory conditions to be valid at the same time during path exploration

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110090 --- Comment #2 from Gina Peter Banyard --- Apologies for the late reply. This is indeed reproducible on GCC 14.2.1, as the php_date.i file is to large to post as an attachment I have put it on a gist: https://gist.github.com/Girgias/c72c9b95356

[Bug analyzer/110090] New: -fanalyze sometimes assumes contradictory conditions to be valid at the same time during path exploration

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110090 Bug ID: 110090 Summary: -fanalyze sometimes assumes contradictory conditions to be valid at the same time during path exploration Product: gcc Version: 13.1.1 Status: UN

[Bug c/105919] New: Internal compiler error when using -fanalyzer on php-src

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105919 Bug ID: 105919 Summary: Internal compiler error when using -fanalyzer on php-src Product: gcc Version: 11.3.1 Status: UNCONFIRMED Severity: normal Pr