[Bug plugins/66991] New: GCCPLUGIN_VERSION_MAJOR == 5 & GCCPLUGIN_VERSION_MINOR == 5 for GCC 5.5.1

[basile at starynkevitch dot net]

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

            Bug ID: 66991
           Summary: GCCPLUGIN_VERSION_MAJOR == 5 & GCCPLUGIN_VERSION_MINOR
                    == 5 for GCC 5.5.1
           Product: gcc
           Version: 5.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: plugins
          Assignee: unassigned at gcc dot gnu.org
          Reporter: basile at starynkevitch dot net
  Target Milestone: ---

At least on my GNU/Linux/Debian/x86-64/Unstable the
/usr/lib/gcc/x86_64-linux-gnu/5/plugin/include/plugin-version.h file from
package gcc-5-plugin-dev version 5.1.1-14  contains incorrectly the following
lines:

#define GCCPLUGIN_VERSION_MAJOR   5
#define GCCPLUGIN_VERSION_MINOR   5
#define GCCPLUGIN_VERSION_PATCHLEVEL   5
#define GCCPLUGIN_VERSION  (GCCPLUGIN_VERSION_MAJOR*1000 +
GCCPLUGIN_VERSION_MINOR)

The GCCPLUGIN_VERSION_MINOR & GCCPLUGIN_VERSION_PATCHLEVEL are both incorrect.
They should be 1 & 1 respectively.

(It could be a Debian specific bug, but I don't think so. This file is
generated at GCC build time).