[Bug analyzer/109016] New: Analyzer doesn't know about OMP builtins

[Bug analyzer/109016] New: Analyzer doesn't know about OMP builtins

[dmalcolm at gcc dot gnu.org]

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)

[Bug analyzer/109016] Analyzer doesn't know about OMP builtins

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109016

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalcolm@gcc.gnu.org>:

https://gcc.gnu.org/g:df0184906a7b86a497c038766366904a20b5601e

commit r13-6467-gdf0184906a7b86a497c038766366904a20b5601e
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Fri Mar 3 18:18:51 2023 -0500

    analyzer: start adding test coverage for OpenMP [PR109016]

    gcc/testsuite/ChangeLog:
            PR analyzer/109016
            * gcc.dg/analyzer/omp-parallel-for-1.c: New test.
            * gcc.dg/analyzer/omp-parallel-for-get-min.c: New test.

    Signed-off-by: David Malcolm <dmalcolm@redhat.com>