diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-10-24 16:23:50 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-10-24 16:23:50 +0200 |
| commit | 34768a3c2ed8a2ee09786cd7e56fe3a7e7491efb (patch) | |
| tree | 9c36f87071c5b4cf7eb7b5d74059860ad6cc8524 /powerpc | |
| parent | c96c50577569c6077c42e756bbf12d31d9c82717 (diff) | |
| download | compcert-34768a3c2ed8a2ee09786cd7e56fe3a7e7491efb.tar.gz compcert-34768a3c2ed8a2ee09786cd7e56fe3a7e7491efb.zip | |
Prefix ais annotations with location.
The file and line information are now stored as comment string at
the start of each annotation.
Bug 22462
Diffstat (limited to 'powerpc')
0 files changed, 0 insertions, 0 deletions