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 /cfrontend | |
| 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 'cfrontend')
0 files changed, 0 insertions, 0 deletions