>>>>> "Robert" == Robert Dewar <de...@adacore.com> writes:
Robert> Sometimes I wonder whether the insistence on -g not changing code Robert> generation is warranted. In practice, gdb for me is so weak in handling Robert> -O1 or -O2, that if I want to debug something I have to recompile Robert> with -O0 -g, which causes quite a bit of code generation change :-) If those are gdb bugs, please file them. Tom