Bug#759038: gnat-4.9: gnat1 and libgnatvsn-dev versions differ

[Matthias Klose <doko@debian.org>]

Am 24.08.2014 um 01:14 schrieb Nicolas Boulenguez:
> Package: gnat-4.9
> Version: 4.9.1-1
> Severity: normal
> 
> Hello.
> 
> The sources in libgnatvsn-dev do not match the embedded data in the
> compiler executable.
> 
> The version_string embedded in libgnatvsn-dev is "4.9", as show by
> -- tmp.c
> #include <stdio.h>
> extern const char version_string [];
> int main (void) {
>   printf ("version_string: \"%s\"\n", version_string);
>   return 0; }
> -- then
> # make tmp LDLIBS=-lgnatvsn
> # ./tmp
> 
> The version_string embedded by the compiler is "4.9.1, as shown by
> -- tmp.adb
> package Tmp is
> end Tmp;
> -- then
> # gdb /usr/lib/gcc/`gnatgcc -dumpmachine`/`gnatgcc -dumpversion`/gnat1
> break gnatvsn__gnat_version_string
> set args -gnatct tmp.ads
> run
> disassemble
> # around the 8th line, one is similar to movzbl 0xHH(%rax),%edx
> x/s 0xHH
> 0xHH <version_string>:     "4.9.1"

$ gnatgcc -dumpversion
4.9

looks like there are some bits missing in the gcc-base-version.diff
patch.