projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b449f6) | patch
vxaddr2line.adb: Use Unsigned_32 instead of Integer for address type.
authorTristan Gingold <gingold@adacore.com>
Tue, 8 Apr 2008 06:56:49 +0000 (08:56 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 8 Apr 2008 06:56:49 +0000 (08:56 +0200)
commit096249062654522b096aeb32d551b9faaeaf186d
tree6147f5b33ef4f213f131ede50929a14f64f927e4tree
parent1b449f6d9829145673f95b146e672c9f46026447commit | diff
vxaddr2line.adb: Use Unsigned_32 instead of Integer for address type.

2008-04-08  Tristan Gingold  <gingold@adacore.com>

* vxaddr2line.adb: Use Unsigned_32 instead of Integer for address type.
Improve error message generation.

From-SVN: r134058
gcc/ada/vxaddr2line.adb diff | blob | history