Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!news-out.readnews.com!news-xxxfer.readnews.com!news.misty.com!news.iecc.com!nerds-end From: HOKIENERD Newsgroups: comp.compilers Subject: Re: Adding Blank Line In Source Causes Change In Executable Date: Mon, 12 Mar 2012 07:36:39 -0700 (PDT) Organization: Compilers Central Lines: 33 Sender: news@iecc.com Approved: comp.compilers@iecc.com Message-ID: <12-03-028@comp.compilers> References: <12-03-007@comp.compilers> <12-03-010@comp.compilers> NNTP-Posting-Host: news.iecc.com X-Trace: leila.iecc.com 1331590379 62578 64.57.183.58 (12 Mar 2012 22:12:59 GMT) X-Complaints-To: abuse@iecc.com NNTP-Posting-Date: Mon, 12 Mar 2012 22:12:59 +0000 (UTC) Keywords: Ada, debug Posted-Date: 12 Mar 2012 18:12:59 EDT X-submission-address: compilers@iecc.com X-moderator-address: compilers-request@iecc.com X-FAQ-and-archives: http://compilers.iecc.com Xref: csiph.com comp.compilers:495 On Mar 6, 5:25 pm, Robert A Duff 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