> Hi Arnaud, this is a great feature. How does it handle unchecked unions?
> Will
> it warn if you write to a field but only read the value via a different field?
It's a simple minded check, nothing fancy. It will warn when there are no
reference to the the object at all after the assignment, a
Hi Arnaud, this is a great feature. How does it handle unchecked unions? Will
it warn if you write to a field but only read the value via a different field?
Ciao, Duncan.
GNAT did not issue a warning when assigning to a part of an object, and not
referencing the object later on. Now it does s
GNAT did not issue a warning when assigning to a part of an object, and not
referencing the object later on. Now it does so in some cases, similarly to
the existing warnings on assignment to elementary objects.
On the code below, GNAT now issues warnings:
$ gcc -c -gnatwa assign.adb
assign.adb:8:
