diff options
| author | Geert Bosch <bosch@gcc.gnu.org> | 2001-12-04 17:55:48 +0100 |
|---|---|---|
| committer | Geert Bosch <bosch@gcc.gnu.org> | 2001-12-04 17:55:48 +0100 |
| commit | 0839863cfad677645b112db8c6bdc4153768412d (patch) | |
| tree | dcfc83ee806b8d2ab5b64ddf5adb4fb3ee1d6b89 /gcc/java/check-init.c | |
| parent | 9678de4977f3ea4a80bd40e05d62ce6b7d7ead23 (diff) | |
| download | gcc-0839863cfad677645b112db8c6bdc4153768412d.zip gcc-0839863cfad677645b112db8c6bdc4153768412d.tar.gz gcc-0839863cfad677645b112db8c6bdc4153768412d.tar.bz2 | |
einfo.adb (Has_Pragma_Pure_Function): New flag.
* einfo.adb (Has_Pragma_Pure_Function): New flag.
Fix problem that stopped ceinfo from working
* einfo.ads (Has_Pragma_Pure_Function): New flag.
* sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function.
From-SVN: r47614
Diffstat (limited to 'gcc/java/check-init.c')
0 files changed, 0 insertions, 0 deletions