diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2014-08-04 12:55:46 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 14:55:46 +0200 |
| commit | e85f4337c3c9ced8e7eece753962443d230b487f (patch) | |
| tree | d312a2cd73dfff82b4b1bee4bb27fb68ec775c25 /gcc/ada/gcc-interface/utils.c | |
| parent | 135da41f0d468b1f90c7ddcc6d965ba47b17ad5b (diff) | |
| download | gcc-e85f4337c3c9ced8e7eece753962443d230b487f.zip gcc-e85f4337c3c9ced8e7eece753962443d230b487f.tar.gz gcc-e85f4337c3c9ced8e7eece753962443d230b487f.tar.bz2 | |
sem_ch3.adb (Analyze_Declarations): Explain why the bodies of the default initial condition procedures are build here.
2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch3.adb (Analyze_Declarations): Explain why the bodies of
the default initial condition procedures are build here.
* sem_util.adb (Build_Default_Init_Cond_Procedure): Wrap the
analyzed argument of pragma Default_Initial_Condition in some
dummy code as GNATprove mode disables assertions, but still
needs to see the argument.
From-SVN: r213582
Diffstat (limited to 'gcc/ada/gcc-interface/utils.c')
0 files changed, 0 insertions, 0 deletions