More Resources
Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
[GNAT] Better checks for redundant assignments
Monday May 28, 2007
Previously the check for a redundant assignment (activated by -gnatwr) was checking only for assignment of a simple variable to itself. This check now catches many more cases (e.g. x.a(1) := x.a(1), or m(1..3):=m(1..3)).
Posted
in Development Log, GNAT Compilation System