Package: atp Version: 1.2-11 Usertags: goto-cc While compiling the package using our research compiler infrastructure it became apparent that the following declarations are conflicting:
http://sources.debian.net/src/atp/1.2-11/atp.c?hl=78,79#L78 http://sources.debian.net/src/atp/1.2-11/width.c?hl=26,48#L26 In particular as the code is compiled with -O3, the compiler may make attempts to use the given size of the arrays in atp.c for loop unwinding. Hence the effectively larger array would in parts be skipped in the various procedures of atp.c. One possible remedy would be removing the sizes from atp.c. Best, Michael
pgp1jOX9K5yvN.pgp
Description: PGP signature
