diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-10-27 14:02:58 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-10-27 14:02:58 +0000 |
| commit | 2c29c1164150ff0c44c0509775ee1b9bb9f125bc (patch) | |
| tree | ab70272708e0c64206bb0568eac9e46ca5845635 /gcc/ada/sem_util.ads | |
| parent | 5f8d6158f60d721073f43359d9befb911d2602f9 (diff) | |
| download | gcc-2c29c1164150ff0c44c0509775ee1b9bb9f125bc.tar.gz | |
2009-10-27 Robert Dewar <dewar@adacore.com>
* sem_warn.adb, sem_util.adb, sem_util.ads: Minor reformatting. Add
comments.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@153595 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index b9a52ed547b..623a72b2782 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -254,8 +254,11 @@ package Sem_Util is function Denotes_Same_Object (A1, A2 : Node_Id) return Boolean; function Denotes_Same_Prefix (A1, A2 : Node_Id) return Boolean; -- Functions to detect suspicious overlapping between actuals in a call, - -- when one of them is writable. The predicates are those proposed in + -- when one of them is writable. The predicates are those proposed in -- AI05-0144, to detect dangerous order dependence in complex calls. + -- I would add a parameter Warn which enables more extensive testing of + -- cases as we find appropriate when we are only warning ??? Or perhaps + -- return an indication of (Error, Warn, OK) ??? function Denotes_Variable (N : Node_Id) return Boolean; -- Returns True if node N denotes a single variable without parentheses |