diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-10 17:39:02 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-10 17:39:02 +0100 |
| commit | 8c1b59808e9ee9888a846de2e3ff111628863f28 (patch) | |
| tree | 31e0a043e6b437170d3ed84df8473a9599c27a4c /common/Determinism.v | |
| parent | 35e3f39bf967c4ed2ba3390b488604554306065d (diff) | |
| download | compcert-8c1b59808e9ee9888a846de2e3ff111628863f28.tar.gz compcert-8c1b59808e9ee9888a846de2e3ff111628863f28.zip | |
Do not enforce locations for function parameters.
In the case of struct function parameters it is not always
guaranteed that they are still there and not translated into plain
integer arguments.
Bug 17609.
Diffstat (limited to 'common/Determinism.v')
0 files changed, 0 insertions, 0 deletions