[Bug analyzer/108492] __analyzer_eval has effect on the analysis result of gcc static analyzer

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108492 ming mengli changed: What|Removed |Added Resolution|--- |INVALID Status|UNCONFIRMED

[Bug analyzer/108492] New: __analyzer_eval has effect on the analysis result of gcc static analyzer

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108492 Bug ID: 108492 Summary: __analyzer_eval has effect on the analysis result of gcc static analyzer Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: norma

[Bug analyzer/108403] New: -Wanalyzer-null-dereference false negative with *q == 0

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108403 Bug ID: 108403 Summary: -Wanalyzer-null-dereference false negative with *q == 0 Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Prior

[Bug analyzer/108325] New: -Wanalyzer-null-dereference false positive with *f = 42

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108325 Bug ID: 108325 Summary: -Wanalyzer-null-dereference false positive with *f = 42 Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Prior

[Bug analyzer/108028] Misleading -fanalyzer messages at -O2 and above

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108028 --- Comment #3 from ming mengli --- (In reply to David Malcolm from comment #1) > Thanks for filing this bug. > > There are several things going on here. > > (A): the analyzer is considering the function "f" as called standalone, as > well as

[Bug analyzer/108028] New: --Wanalyzer-null-dereference false posiative with *q = 1

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108028 Bug ID: 108028 Summary: --Wanalyzer-null-dereference false posiative with *q = 1 Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Prio