reopen 497620 notfixed 497620 4.3.2-1 found 497620 4.3.2-1 thanks David Starner writes: > But he didn't even test the bug. It works fine with no options, but > with the options given in the bug report, -O2 -gnatN, it fails. Sorry, I overlooked that. Reopening and tagging the bug appropriately. -- Ludovic Brenta.