diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-09 12:45:10 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-09 12:45:10 +0100 |
| commit | 49bc45ed256f2d4d68ddab6868a2de06a67647be (patch) | |
| tree | 8f0234e94ddaae9d21b682ce15f43c12ee3a6c0a /cparser/Machine.ml | |
| parent | 3f12f94bb84b796f764a2a0765048c17ab840ffb (diff) | |
| download | compcert-49bc45ed256f2d4d68ddab6868a2de06a67647be.tar.gz compcert-49bc45ed256f2d4d68ddab6868a2de06a67647be.zip | |
Do not transfer arguments for annotations.
In order to ensure that no transformation for arguments to
builtin annotations are used, the original unchanged arguments are
used.
Bug 23179
Diffstat (limited to 'cparser/Machine.ml')
0 files changed, 0 insertions, 0 deletions