OSDN Git Service

(root) / pf3gnuchains / gcc-fork.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7670be6) | patch
2007-08-31 Hristian Kirtchev <kirtchev@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 31 Aug 2007 10:20:38 +0000 (10:20 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 31 Aug 2007 10:20:38 +0000 (10:20 +0000)
commit7870823d1c823d0958171f7e14c29ed015dee61e
tree16ef625e05835919908dbc3e3d3f1c29170fccbdtree | snapshot
parent7670be607e56af50ff042355f76bdeda0236c7e8commit | diff
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@127969 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/checks.adb diff | blob | history
About OSDN
Find Software
Develop Software
Help