diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-30 11:13:34 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-30 11:13:34 +0200 |
commit | c0757aa180c54ff61093e8079ef58b77775ba28e (patch) | |
tree | d9ada5db4dd2789ecc61d75c0ba8d2116bdf56ce /extraction | |
parent | 05acff8bcb4f127a6f0ff6c587ba38d1c8cbe2fc (diff) | |
download | compcert-c0757aa180c54ff61093e8079ef58b77775ba28e.tar.gz compcert-c0757aa180c54ff61093e8079ef58b77775ba28e.zip |
Avoid problem with implict declarations.
In order to avoid the problem that the stamp is not correct for
implict declarations I insert all possible stamps of a function
into my mapping and assign them one debug id.
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions