diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-05 15:17:37 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-05 15:17:37 +0000 |
| commit | ffd8b3a5ecc3dd7d1a7c3e1938b6caa1ff221ded (patch) | |
| tree | ba708f88b444bcbc812ada1c70ff45ef811962f8 /gcc/ada/exp_util.adb | |
| parent | 84600db505c8a0540d2b6c1be6287e3a3631aff4 (diff) | |
| download | gcc-ffd8b3a5ecc3dd7d1a7c3e1938b6caa1ff221ded.tar.gz | |
2011-08-05 Thomas Quinot <quinot@adacore.com>
* sem_ch11.adb: Add comment.
2011-08-05 Robert Dewar <dewar@adacore.com>
* exp_util.adb: Minor comment fix.
2011-08-05 Robert Dewar <dewar@adacore.com>
* scng.adb (Error_Unterminated_String): Improve flag position when
comma present.
2011-08-05 Matthew Heaney <heaney@adacore.com>
* Makefile.rtl, impunit.adb: Added a-cbmutr.ad[sb] (bounded multiway
tree containers).
* a-cbmutr.ads, a-cbmutr.adb: This is the new Ada 2012 unit for bounded
multiway tree containers.
2011-08-05 Robert Dewar <dewar@adacore.com>
* styleg.adb (Check_Comment): Implement comment spacing of 1 or 2
* stylesw.adb: Implement -gnatyC to control comment spacing
* stylesw.ads (Style_Check_Comments_Spacing): New switch (set by
-gnatyc/C).
* usage.adb: Add line for -gnatyC.
2011-08-05 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Document -gnatyC for J505-006
* vms_data.ads: Implement COMMENTS1/COMMENTS2 (retaining COMMENTS as a
synonym for COMMENTS2).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177453 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_util.adb')
| -rw-r--r-- | gcc/ada/exp_util.adb | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index 07cc44c8d48..55090e72de3 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -176,14 +176,8 @@ package body Exp_Util is Ti : Entity_Id; begin - -- For now, we simply ignore a call where the argument has no type - -- (probably case of unanalyzed condition), or has a type that is not - -- Boolean. This is because this is a pretty marginal piece of - -- functionality, and violations of these rules are likely to be - -- truly marginal (how much code uses Fortran Logical as the barrier - -- to a protected entry?) and we do not want to blow up existing - -- programs. We can change this to an assertion after 3.12a is - -- released ??? + -- Defend against a call where the argument has no type, or has a + -- type that is not Boolean. This can occur because of prior errors. if No (T) or else not Is_Boolean_Type (T) then return; |