]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c1f47e) | patch
restrict.ads, [...] (Check_Implicit_Dynamic_Code_Allowed): New procedure to be called...
authorBob Duff <duff@adacore.com>
Thu, 13 Dec 2007 10:28:48 +0000 (11:28 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 13 Dec 2007 10:28:48 +0000 (11:28 +0100)
commitcadf64d1d568ce60f0a0ac6014e6ad295b3448cc
treeeddd27c4be020fe79f5bbbaa037be2af9394de2dtree
parent6c1f47ee4b24ebae655517ad3ea934856aae662dcommit | diff
restrict.ads, [...] (Check_Implicit_Dynamic_Code_Allowed): New procedure to be called from the back end to check the...

2007-12-06  Bob Duff  <duff@adacore.com>

* restrict.ads, restrict.adb (Check_Implicit_Dynamic_Code_Allowed): New
procedure to be called from the back end to check the
No_Implicit_Dynamic_Code restriction.

From-SVN: r130847
gcc/ada/restrict.adb diff | blob | blame | history
gcc/ada/restrict.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git