diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-25 11:06:15 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-25 11:06:15 +0100 |
| commit | e8f2ef5c8c926462277afb520cacaa265b7e612c (patch) | |
| tree | 7c3b552108da1d8fb3ae867e0076ab91663e7fa9 /debug/Dwarfgen.ml | |
| parent | 9521c220e157632972387ad0394010e89eff0aab (diff) | |
| download | compcert-e8f2ef5c8c926462277afb520cacaa265b7e612c.tar.gz compcert-e8f2ef5c8c926462277afb520cacaa265b7e612c.zip | |
Do not use hardcoded register number for sp.
Since the dwarf register names for x86_32 and x86_64 differ it is
wrong to hardcode the dwarf register number for rsp to 4.
Bug 20461
Diffstat (limited to 'debug/Dwarfgen.ml')
0 files changed, 0 insertions, 0 deletions