projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bd38d9) | patch
sem_util.adb, [...]: Correct false positive warnings.
authorRobert Dewar <dewar@adacore.com>
Fri, 24 Jan 2014 14:03:19 +0000 (14:03 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 24 Jan 2014 14:03:19 +0000 (15:03 +0100)
commita6ae518ff7855e89b8b1e578e2124fd0a79f3f84
tree685f0bcb0d999d01912bd38b8e8d58ae51aed015tree | snapshot
parent0bd38d942cf03bc447d09bce4045369eccfa9431commit | diff
sem_util.adb, [...]: Correct false positive warnings.

2014-01-24  Robert Dewar  <dewar@adacore.com>

* sem_util.adb, lib-xref.adb: Correct false positive warnings.

From-SVN: r207031
gcc/ada/ChangeLog diff | blob | history
gcc/ada/lib-xref.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
Domain: System / Toolchain;