[Bug analyzer/109077] New: Analyzer header not installed

[Bug analyzer/109077] New: Analyzer header not installed

[pierrick.philippe at irisa dot fr]

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

            Bug ID: 109077
           Summary: Analyzer header not installed
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: pierrick.philippe at irisa dot fr
  Target Milestone: ---

Created attachment 54620
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54620&action=edit
Output of 'gcc --version --verbose'

After configuring gcc on the last 'trunk' branch (20230309), even with
'-enable-analyzer' option set, running 'make install' is not installing the
analyzer's header.

I've noticed this problem when first compiling and installing gcc from the
commit tagged 'basepoints/gcc-13'.

First I thought it wasn't a bug, but on purpose.
Though I discussed it with David Malcolm, which led me to report it as a bug.

I've attached the output of 'gcc -version -verbose'.

[Bug analyzer/109077] Analyzer header not installed

[dmalcolm at gcc dot gnu.org]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |107646
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2023-11-27

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this.

Confirmed; am working on a fix.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107646
[Bug 107646] RFE: can we reimplement gcc-python-plugin's cpychecker as a
-fanalyzer plugin?

[Bug analyzer/109077] Analyzer headers not installed

[dmalcolm at gcc dot gnu.org]

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

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
PLUGIN_ANALYZER_INIT was added in r11-5583-g66dde7bc64b75d, so presumably this
affects GCC 11 onwards.

[Bug analyzer/109077] Analyzer headers not installed

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from GCC 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:594ef1ff707866bcdc1f077c5d078a5bd250320f

commit r14-5899-g594ef1ff707866bcdc1f077c5d078a5bd250320f
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Tue Nov 28 03:20:02 2023 -0500

    analyzer: install header files for use by plugins [PR109077]

    PLUGIN_ANALYZER_INIT was added in r11-5583-g66dde7bc64b75d, but we
    haven't been installing the analyzer's headers files.

    Fixed thusly.

    gcc/ChangeLog:
            PR analyzer/109077
            * Makefile.in (PLUGIN_HEADERS): Add analyzer headers.
            (install-plugin): Keep the directory structure for files in
            "analyzer".

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

[Bug analyzer/109077] Analyzer headers not installed

[dmalcolm at gcc dot gnu.org]

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

--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Should be fixed on trunk for GCC 14 by the above patch.

Keeping open to track backporting to the GCC 11, 12 and 13 branches.

[Bug analyzer/109077] [11/12/13 Regression] Analyzer headers not installed

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.5

[Bug analyzer/109077] [11/12/13 Regression] Analyzer headers not installed

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2