Re: X := X; Compiler Warning?

["John B. Matthews" <nospam@nospam.invalid>]

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>