[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



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"


Reply to: