diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2015-11-12 11:35:30 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-12 12:35:30 +0100 |
| commit | e9ea8f9e56c95c1a36ca24b365de5c2bbb1dfe2a (patch) | |
| tree | ed13011c5cbac7b87777b7a2d7abcf64c0efd4f6 /gcc/expr.c | |
| parent | 8a0183fdf2e1282bcbe6a7a035def0330e599b71 (diff) | |
| download | gcc-e9ea8f9e56c95c1a36ca24b365de5c2bbb1dfe2a.zip gcc-e9ea8f9e56c95c1a36ca24b365de5c2bbb1dfe2a.tar.gz gcc-e9ea8f9e56c95c1a36ca24b365de5c2bbb1dfe2a.tar.bz2 | |
sem_ch10.adb, atree.adb: Minor reformatting.
2015-11-12 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch10.adb, atree.adb: Minor reformatting.
2015-11-12 Hristian Kirtchev <kirtchev@adacore.com>
* sem_elab.adb (Check_A_Call): Add new variable
Is_DIC_Proc. Report elaboration issue in SPARK concerning calls
to source subprograms or nontrivial Default_Initial_Condition
procedures. Add specialized error message to avoid outputting
the internal name of the Default_Initial_Condition procedure.
* sem_util.ads, sem_util.adb
(Is_Non_Trivial_Default_Init_Cond_Procedure): New routine.
From-SVN: r230237
Diffstat (limited to 'gcc/expr.c')
0 files changed, 0 insertions, 0 deletions