projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a687fbb) | patch
checks.adb (In_Declarative_Region_Of_Subprogram_Body): New routine.
authorHristian Kirtchev <kirtchev@adacore.com>
Fri, 31 Aug 2007 10:20:38 +0000 (12:20 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 31 Aug 2007 10:20:38 +0000 (12:20 +0200)
commitbb6e3d4145581f36d908c9a0868d6b72f3503176
tree16ef625e05835919908dbc3e3d3f1c29170fccbdtree | snapshot
parenta687fbb9ece39f225fd15ea2bbb319e3b4c58a39commit | diff
checks.adb (In_Declarative_Region_Of_Subprogram_Body): New routine.

2007-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

* checks.adb (In_Declarative_Region_Of_Subprogram_Body): New routine.
(Mark_Non_Null): If the node for which we just generated an access check
is a reference to an *in* parameter and the reference appears in the
declarative part of a subprogram body, mark the node as known non null.

From-SVN: r127969
gcc/ada/checks.adb diff | blob | history
Domain: System / Toolchain;