------- Additional Comments From laurent at guerby dot net 2005-02-19 20:32 ------- Yes this is probably a miscompilation of gnatmake, you may try to set boot flags to -O0 or -O1 instead of -O2. No idea on why RTH doesn't see this.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20089