Re: Adding Blank Line In Source Causes Change In Executable

HOKIENERD <hokienerd@gmail.com>
Mon, 12 Mar 2012 07:36:39 -0700 (PDT)

          From comp.compilers

Related articles
Adding Blank Line In Source Causes Change In Executable john.m.morris@navy.mil (Morris, John M CIV NSWCDD, Q34) (2012-03-06)
Re: Adding Blank Line In Source Causes Change In Executable gah@ugcs.caltech.edu (glen herrmannsfeldt) (2012-03-06)
Re: Adding Blank Line In Source Causes Change In Executable bobduff@shell01.TheWorld.com (Robert A Duff) (2012-03-06)
Re: Adding Blank Line In Source Causes Change In Executable hokienerd@gmail.com (HOKIENERD) (2012-03-12)
Re: Adding Blank Line In Source Causes Change In Executable bobduff@shell01.TheWorld.com (Robert A Duff) (2012-03-13)
Re: Adding Blank Line In Source Causes Change In Executable gah@ugcs.caltech.edu (glen herrmannsfeldt) (2012-03-14)
Re: Adding Blank Line In Source Causes Change In Executable hokienerd@gmail.com (HOKIENERD) (2012-03-26)
Re: Adding Blank Line In Source Causes Change In Executable bobduff@shell01.TheWorld.com (Robert A Duff) (2012-03-26)
| List of all articles for this month |
From: HOKIENERD <hokienerd@gmail.com>
Newsgroups: comp.compilers
Date: Mon, 12 Mar 2012 07:36:39 -0700 (PDT)
Organization: Compilers Central
References: 12-03-007 12-03-010
Keywords: Ada, debug
Posted-Date: 12 Mar 2012 18:12:59 EDT

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


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.