X := X; Compiler Warning?

X := X; Compiler Warning?

[Warren]

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

Re: X := X; Compiler Warning?

[John B. Matthews]

In article <Xns9D586C840409EWarrensBlatherings@188.40.43.213>,
 Warren <ve3wwg@gmail.com> wrote:

> 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.

Add "-gnatwXX" to your "-cargs" in gnatmake, where XX is among these

<http://gcc.gnu.org/onlinedocs/gcc-4.4.3/gnat_ugn_unw/
Warning-Message-Control.html#Warning-Message-Control>

For example, -gnatwr yields

warning: useless assignment of "Position_X" to itself

-- 
John B. Matthews
trashgod at gmail dot com
<http://sites.google.com/site/drjohnbmatthews>

Re: X := X; Compiler Warning?

[Warren]

John B. Matthews expounded in news:nospam-EBAEFB.12273312042010
@news.aioe.org:

> In article <Xns9D586C840409EWarrensBlatherings@188.40.43.213>,
>  Warren <ve3wwg@gmail.com> wrote:

>> Obviously, that should have been coded as:
>> 
>>     Position_X := Position_X + 1;

> Add "-gnatwXX" to your "-cargs" in gnatmake, where XX is among these
> 
> <http://gcc.gnu.org/onlinedocs/gcc-4.4.3/gnat_ugn_unw/
> Warning-Message-Control.html#Warning-Message-Control>
> 
> For example, -gnatwr yields
> 
> warning: useless assignment of "Position_X" to itself

Excellent, thanks.

Warren