This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug debug/41291] [4.5 regression] verify_ssa failed for debug insn
- From: "laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 8 Sep 2009 10:52:08 -0000
- Subject: [Bug debug/41291] [4.5 regression] verify_ssa failed for debug insn
- References: <bug-41291-3388@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #10 from laurent at guerby dot net 2009-09-08 10:52 -------
Alexande, you can reproduce this by just bootstraping as usual an x86_64-linux
compiler with Ada enabled then in a clean directory do:
guerby@gcc13:~/tmp41291$ gnatchop ~/pp.txt
guerby@gcc13:~/tmp41291$ cp
/home/guerby/trunk/gcc/ada/system-system-linux-x86_64.ads ./system.ads
guerby@gcc13:~/tmp41291$ ../build/gcc/gnat1 -quiet -dumpbase pp.adb -auxbase pp
-I/home/guerby/trunk/gcc/ada -O1 -g pp.adb
pp.adb: In function 'Pp.P':
pp.adb:10:4: error: expected an SSA_NAME object
pp.adb:10:4: error: in statement
# DEBUG pp__p__TTS17bSP1___L => L16b
+===========================GNAT BUG DETECTED==============================+
| 4.5.0 20090908 (experimental) [trunk revision 151498]
(x86_64-unknown-linux-gnu) GCC error:|
| verify_ssa failed |
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41291