From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,110e3250dd85d941,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder2.cambriumusenet.nl!feed.tweaknews.nl!195.96.0.7.MISMATCH!newsfeed.utanet.at!news.mixmin.net!feeder.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Warren <ve3wwg@gmail.com>
Newsgroups: comp.lang.ada
Subject: X := X; Compiler Warning?
Date: Mon, 12 Apr 2010 14:40:04 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <Xns9D586C840409EWarrensBlatherings@188.40.43.213>
Injection-Date: Mon, 12 Apr 2010 14:40:04 +0000 (UTC)
Injection-Info: feeder.eternal-september.org;
 posting-host="9f8M0iN5t54V+4DF/iqO8g";
	logging-data="8530"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/a36SSKixyqfV5fu9Ckd6uPModqnbimpQ="
User-Agent: Xnews/5.04.25
X-Face: 
 &6@]C2>ZS=NM|HE-^zWuryN#Z/2_.s9E|G&~DRi|sav9{E}XQJb*\_>=a5"q]\%A;5}LKP][1mA{gZ,Q!j
Cancel-Lock: sha1:/JjcKskcoGKMpNhAKp76SQewANk=
Xref: g2news1.google.com comp.lang.ada:9965
Date: 2010-04-12T14:40:04+00:00
List-Id: <comp.lang.ada>

This weekend, I discovered a problem after some
effort in debugging. The culprit was something
stupid like this:

  Position_X : Line_Index := ...
begin

  loop
    ..
    Position_X := Position_X;  -- whoops
    ..
    exit when ...;
  end loop;

Obviously, that should have been coded as:

    Position_X := Position_X + 1;

As outlined here, it is trivial to spot. 

But with the longer variable names (in the original
code), I somehow missed it in amongst all of the
other statements.

Now isn't this something that is normally reported
as a warning?  I'm using gnat, so perhaps I need an
additional compiler option.

Thanks, Warren