diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-19 11:05:35 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-19 11:05:35 +0000 |
| commit | 7f5ca04261490d5e5c719a0c28cf2b4beda250af (patch) | |
| tree | 3d6d6f007167e2b2dca010de1831d469c4aacb35 /gcc/ada/exp_prag.ads | |
| parent | 757d44b946bf023f0ef0dbf9eb49a743c8d482e3 (diff) | |
| download | gcc-7f5ca04261490d5e5c719a0c28cf2b4beda250af.tar.gz | |
2014-02-19 Robert Dewar <dewar@adacore.com>
* exp_util.adb: Update comments.
2014-02-19 Doug Rupp <rupp@adacore.com>
* bindgen.adb (Gen_Adainit) [VMS] New global Float_Format.
* init.c (__gl_float_format): [VMS] New global.
(__gnat_set_features): Call FP_CONTROL to set FPSR for the float
representation in effect.
2014-02-19 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb Add with and use clause for Exp_Prag.
(Expand_Contract_Cases): Relocated to Exp_Prag.
* exp_ch6.ads (Expand_Contract_Cases): Relocated to Exp_Prag.
* exp_prag.adb Add with and use clauses for Checks and Validsw.
(Expand_Contract_Cases): Relocated from Exp_Ch6. Update the
structure of the expanded code to showcase the evaluation of
attribute 'Old prefixes. Add local variable Old_Evals. Expand
any attribute 'Old references found within a consequence. Add
circuitry to evaluate the prefixes of attribute 'Old that
belong to a selected consequence.
(Expand_Old_In_Consequence): New routine.
* exp_prag.ads (Expand_Contract_Cases): Relocated from Exp_Ch6.
* sem_attr.adb (Check_Use_In_Contract_Cases): Warn that a
potentially unevaluated prefix is always evaluated.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207891 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_prag.ads')
| -rw-r--r-- | gcc/ada/exp_prag.ads | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/gcc/ada/exp_prag.ads b/gcc/ada/exp_prag.ads index e995501276f..681f1160dea 100644 --- a/gcc/ada/exp_prag.ads +++ b/gcc/ada/exp_prag.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2007, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -31,4 +31,15 @@ package Exp_Prag is procedure Expand_N_Pragma (N : Node_Id); + procedure Expand_Contract_Cases + (CCs : Node_Id; + Subp_Id : Entity_Id; + Decls : List_Id; + Stmts : in out List_Id); + -- Given pragma Contract_Cases CCs, create the circuitry needed to evaluate + -- case guards and trigger consequence expressions. Subp_Id is the related + -- subprogram for which the pragma applies. Decls are the declarations of + -- Subp_Id's body. All generated code is added to list Stmts. If Stmts is + -- No_List on entry, a new list is created. + end Exp_Prag; |