Re: Adding Blank Line In Source Causes Change In Executable

From	HOKIENERD <hokienerd@gmail.com>
Newsgroups	comp.compilers
Subject	Re: Adding Blank Line In Source Causes Change In Executable
Date	2012-03-12 07:36 -0700
Organization	Compilers Central
Message-ID	<12-03-028@comp.compilers> (permalink)
References	<12-03-007@comp.compilers> <12-03-010@comp.compilers>

Show all headers | View raw

On Mar 6, 5:25 pm, Robert A Duff <bobd...@shell01.TheWorld.com> wrote:
>
   SNIP
>
> My guess is that there's an implicit 'raise' of an exception, perhaps
> for some constraint check on the assignment, and this contains the
> line number, so it can print a message if the check fails, something
> like:
>
> Constraint_Error raised some_file.adb line 1234.
>
> or something like that.
>
> If you change the line number, that message will need to change.
>
> If you look at the generated assembly code, you'll probably
> see a call something like:
>
>     Rcheck_12(File => ..., Line => 1234);
>
> The -gnatD output might also show you what's going on.
>
> - Bob


Hi Bob,

It absolutely is the line number. (Thanks for the tip.) I hope to get
to the assembly code before too long. I sure wish I could keep the
check, but lose the line number!

Thanks,
John

Back to comp.compilers | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Adding Blank Line In Source Causes Change In Executable "Morris, John M CIV NSWCDD, Q34" <john.m.morris@navy.mil> - 2012-03-06 08:32 -0500
  Re: Adding Blank Line In Source Causes Change In Executable glen herrmannsfeldt <gah@ugcs.caltech.edu> - 2012-03-06 19:51 +0000
  Re: Adding Blank Line In Source Causes Change In Executable Robert A Duff <bobduff@shell01.TheWorld.com> - 2012-03-06 16:25 -0500
    Re: Adding Blank Line In Source Causes Change In Executable HOKIENERD <hokienerd@gmail.com> - 2012-03-12 07:36 -0700
      Re: Adding Blank Line In Source Causes Change In Executable Robert A Duff <bobduff@shell01.TheWorld.com> - 2012-03-13 09:34 -0400
        Re: Adding Blank Line In Source Causes Change In Executable glen herrmannsfeldt <gah@ugcs.caltech.edu> - 2012-03-14 05:26 +0000
        Re: Adding Blank Line In Source Causes Change In Executable HOKIENERD <hokienerd@gmail.com> - 2012-03-26 07:33 -0700
          Re: Adding Blank Line In Source Causes Change In Executable Robert A Duff <bobduff@shell01.TheWorld.com> - 2012-03-26 13:36 -0400

csiph-web