From ec7d1375054c82ac0333096cf29eb816bbab26af Mon Sep 17 00:00:00 2001 From: charlet Date: Thu, 10 Oct 2013 13:17:07 +0000 Subject: 2013-10-10 Robert Dewar * par-ch6.adb (Check_Junk_Semicolon_Before_Return): Remove junk code. 2013-10-10 Javier Miranda * sem_ch13.adb (Freeze_Entity_Checks): Avoid loosing errors on CPP entities in -gnatc mode. 2013-10-10 Robert Dewar * sem_ch5.adb (Analyze_If_Statement): Only diagnose redundant if from source. 2013-10-10 Robert Dewar * restrict.adb (Check_SPARK_Restriction): Refine test (don't automatically go to the original node). * sem_ch11.adb (Analyze_Raise_Statement): Only raise statements that come from source violate SPARK restrictions. (Analyze_Raise_xxx_Error): Same fix. * sem_ch3.adb (Analyze_Object_Declaration): Check OK SPARK initialization on original node, not on possibly rewritten expression. * sem_ch4.adb (Analyze_If_Expression): Only if expressions that come from source violate SPARK mode restrictions. 2013-10-10 Robert Dewar * gnat_ugn.texi: Fix confusing documentation for -gnatyM. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203374 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/par-ch6.adb | 3 --- 1 file changed, 3 deletions(-) (limited to 'gcc/ada/par-ch6.adb') diff --git a/gcc/ada/par-ch6.adb b/gcc/ada/par-ch6.adb index f060b3f2822..560cf4c989c 100644 --- a/gcc/ada/par-ch6.adb +++ b/gcc/ada/par-ch6.adb @@ -73,9 +73,6 @@ package body Ch6 is else Restore_Scan_State (Scan_State); end if; - - elsif Bad_Spelling_Of (Tok_Return) then - null; end if; end Check_Junk_Semicolon_Before_Return; -- cgit v1.2.1