diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-03-09 14:41:15 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-03-09 14:41:15 +0100 |
commit | a45ddea290008a8a340f3a2b076268e04f80bab4 (patch) | |
tree | 2552e17e035dc4dbf0a014d94ddfc25261a0bd49 /backend/Renumber.v | |
parent | 49bc45ed256f2d4d68ddab6868a2de06a67647be (diff) | |
download | compcert-a45ddea290008a8a340f3a2b076268e04f80bab4.tar.gz compcert-a45ddea290008a8a340f3a2b076268e04f80bab4.zip |
StructPassing and annotations, continued
struct/union arguments to annotations should not be transformed at top level,
but the regular function calls contained within must be transformed recursively.
Diffstat (limited to 'backend/Renumber.v')
0 files changed, 0 insertions, 0 deletions