diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-09-10 14:56:41 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-09-10 14:56:41 +0000 |
| commit | 57d8d1f30d5385f1f3867ce6218773da98d3b429 (patch) | |
| tree | 82895488fd4b208b6f38e6064fe55f999dd81b60 /libjava/classpath/java/sql/DriverPropertyInfo.java | |
| parent | 37c6e44c944d1ee408049d929f5fe36f5f6d81fb (diff) | |
| download | ppe42-gcc-57d8d1f30d5385f1f3867ce6218773da98d3b429.tar.gz ppe42-gcc-57d8d1f30d5385f1f3867ce6218773da98d3b429.zip | |
2013-09-10 Robert Dewar <dewar@adacore.com>
* exp_prag.adb (Expand_Pragma_Check): Ignore pragma if Is_Ignored set.
* sem_ch13.adb (Make_Aitem_Pragma): Set Is_Checked if needed.
* sem_prag.adb (Check_Kind): Moved from spec (Analyze_Pragma):
Make sure Is_Ignored/Is_Checked are set right (Analyze_Pragma,
case Check): Ditto (Check_Applicable_Policy): Handle
Statement_Assertion case Throughout, set and check the Is_Checked
flag as appropriate.
* sem_prag.ads (Check_Kind): Moved to body.
* sinfo.ads, sinfo.adb (Is_Checked): New flag.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@202457 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java/sql/DriverPropertyInfo.java')
0 files changed, 0 insertions, 0 deletions
