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

2023-06-02 Thread girgias at php dot net via Gcc-bugs
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:

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

2022-06-10 Thread girgias at php dot net via Gcc-bugs
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