https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109016
Bug ID: 109016
Summary: Analyzer doesn't know about OMP builtins
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: openmp
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
Created attachment 54581
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54581&action=edit
Work in progress patch
Currently the analyzer doesn't recognize omp builtins, and falls back to the
"anything could happen" handler when it sees them.
Am attaching a work-in-progress patch I tried which terminates the analysis
path if it sees one of them, on the grounds that the analyzer currently has no
knowledge of e.g. OpenMP.
Unfortunately, as-is, this regresses the integration tests (all in
ImageMagick-7.1.0-57); presumably due to spending its analysis budget on other
execution paths:
Comparison: 10.91% -> 10.77% GOOD: 67 BAD: 547 -> 555 (+8)
-Wanalyzer-use-of-uninitialized-value: 0.00% GOOD: 0 BAD: 80 -> 87 (+7)
-Wanalyzer-deref-before-check: 5.00% -> 4.76% GOOD: 1 BAD: 19 -> 20 (+1)
