projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce8b339) | patch
2005-09-01 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 5 Sep 2005 07:52:27 +0000 (07:52 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 5 Sep 2005 07:52:27 +0000 (07:52 +0000)
commit13dbf220c5aaf12216775401714e6f36e0ae175c
tree359619ed3ffb7e6470ef81008d5c53034cf88ca4tree | snapshot
parentce8b339a3900a4fcd1ec5c3752a83ba2e5ddd589commit | diff
2005-09-01  Robert Dewar  <dewar@adacore.com>

* checks.adb (Check_Needed): New procedure, deals with removing checks
based on analysis of short-circuited forms. Also generates warnings for
improper use of non-short-circuited forms.
Code clean ups.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@103857 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/checks.adb diff | blob | history
Domain: System / Toolchain;