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 /powerpc/Asmexpand.ml | |
| 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 'powerpc/Asmexpand.ml')
0 files changed, 0 insertions, 0 deletions