comp.lang.ada
 help / color / mirror / Atom feed
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Compiler checking of String lengths during assignment (Newbie Question)
Date: Fri, 16 Jan 2015 08:44:28 -0700
Date: 2015-01-16T08:44:28-07:00	[thread overview]
Message-ID: <m9bbjv$jgr$1@dont-email.me> (raw)
In-Reply-To: <ly4mrrgp51.fsf@pushface.org>

On 01/16/2015 12:28 AM, Simon Wright wrote:
> 
> It was Adam, not Bob.

I apologize for the misattribution.

> and, while I agree with you that the OP should have posted a compilable
> example that demonstrated the problem, the posted code had nothing
> between the assignment to i and the assignments to Head.

True, but if the elided code is sufficiently complex, the compiler may have
given up trying to track the value of I, even though the code fragment alone is
simple enough for the compiler to do so. (I know nothing about the compiler code
that does that kind of tracking, but when faced with identical code that gives
different warnings when isolated than when embedded in other code, it seems
logical to assume that the presence of the other code is the reason.)

-- 
Jeff Carter
"There's no messiah here. There's a mess all right, but no messiah."
Monty Python's Life of Brian
84


      reply	other threads:[~2015-01-16 15:44 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-01-09 22:50 Compiler checking of String lengths during assignment (Newbie Question) isaac1.0
2015-01-09 23:10 ` Simon Wright
2015-01-09 23:20   ` Stefan.Lucks
2015-01-10 12:43     ` Brian Drummond
2015-01-09 23:53 ` Shark8
2015-01-10  0:18 ` Jeffrey Carter
2015-01-10  1:48 ` Adam Beneschan
2015-01-10 10:03 ` Pascal Obry
2015-01-10 10:54 ` Simon Wright
2015-01-15 20:44 ` isaac1.0
2015-01-15 21:18   ` Simon Wright
2015-01-15 22:30     ` Jeffrey Carter
2015-01-15 22:32     ` Jeffrey Carter
2015-01-16  7:28       ` Simon Wright
2015-01-16 15:44         ` Jeffrey Carter [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox