diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-12-05 11:21:32 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-12-05 11:21:32 +0000 |
| commit | c8af2df9793abebdc2ba9088aa7095779a72b577 (patch) | |
| tree | c8503545c9acec5c331a2ce08b95dbe7d391687e /libjava/java/sql/CallableStatement.h | |
| parent | 47a467474ca6f911ffd8b32ffd13b9abf1a8ef0a (diff) | |
| download | ppe42-gcc-c8af2df9793abebdc2ba9088aa7095779a72b577.tar.gz ppe42-gcc-c8af2df9793abebdc2ba9088aa7095779a72b577.zip | |
2012-12-05 Thomas Quinot <quinot@adacore.com>
* par_sco.adb (Traverse_Aspects): Ensure we always have
an entry in the sloc -> SCO map for invariants, since
Set_SCO_Pragma_Enabled is called with that sloc when checks
are enabled.
2012-12-05 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb: Minor reformatting.
2012-12-05 Hristian Kirtchev <kirtchev@adacore.com>
* par-prag.adb: Checks and processing of pragma Assume are
carried out by Sem_Prag.
* sem_prag.adb (Analyze_Pragma): Check the legality of pragma
Assume.
* snames.ads-tmpl: Add new name Assume. Add a pragma identifier
for Assume.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194215 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/java/sql/CallableStatement.h')
0 files changed, 0 insertions, 0 deletions

