projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9678de4) | patch
einfo.adb (Has_Pragma_Pure_Function): New flag.
authorGeert Bosch <bosch@gcc.gnu.org>
Tue, 4 Dec 2001 16:55:48 +0000 (17:55 +0100)
committerGeert Bosch <bosch@gcc.gnu.org>
Tue, 4 Dec 2001 16:55:48 +0000 (17:55 +0100)
commit0839863cfad677645b112db8c6bdc4153768412d
treedcfc83ee806b8d2ab5b64ddf5adb4fb3ee1d6b89tree
parent9678de4977f3ea4a80bd40e05d62ce6b7d7ead23commit | diff
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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/einfo.adb diff | blob | history
gcc/ada/einfo.ads diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history