[Bug plugins/107964] New: [13] missing plugin header contracts.h

[Bug plugins/107964] New: [13] missing plugin header contracts.h

[sss@li-snyder.org]

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

            Bug ID: 107964
           Summary: [13] missing plugin header contracts.h
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: plugins
          Assignee: unassigned at gcc dot gnu.org
          Reporter: sss@li-snyder.org
  Target Milestone: ---

I have a gcc plugin that fails to compile against trunk because the
contracts.h header, which is included by cp-tree.h, is not installed
to the plugins directory.

Trivially fixed thus:

diff --git a/gcc/cp/Make-lang.in b/gcc/cp/Make-lang.in
index af25bdc044a..e189f556955 100644
--- a/gcc/cp/Make-lang.in
+++ b/gcc/cp/Make-lang.in
@@ -39,7 +39,7 @@ CXX_INSTALL_NAME := $(shell echo c++|sed
'$(program_transform_name)')
 GXX_INSTALL_NAME := $(shell echo g++|sed '$(program_transform_name)')
 CXX_TARGET_INSTALL_NAME := $(target_noncanonical)-$(shell echo c++|sed
'$(program_transform_name)')
 GXX_TARGET_INSTALL_NAME := $(target_noncanonical)-$(shell echo g++|sed
'$(program_transform_name)')
-CP_PLUGIN_HEADERS := cp-tree.h cxx-pretty-print.h name-lookup.h type-utils.h
operators.def cp-trait.def
+CP_PLUGIN_HEADERS := cp-tree.h cxx-pretty-print.h name-lookup.h type-utils.h
operators.def cp-trait.def contracts.h

 #^L
 # Define the names for selecting c++ in LANGUAGES.



(I can send a reproducer if desired, but i didn't think that was really
necessary in this case.)

[Bug plugins/107964] [13] missing plugin header contracts.h

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:824542bec24c09319fa55922a0162209a5f64963

commit r13-4490-g824542bec24c09319fa55922a0162209a5f64963
Author: Scott Snyder <sss@li-snyder.org>
Date:   Mon Dec 5 09:20:11 2022 +0100

    plugins/107964 - install contracts.h

    contracts.h is included by cp-tree.h so needs to be installed for
    plugins.

            PR plugins/107964
    gcc/cp/
            * Make-lang.in (CP_PLUGIN_HEADERS): Install contracts.h

[Bug plugins/107964] [13] missing plugin header contracts.h

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.  Thanks for noticing and the fix.