diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-29 12:56:41 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-29 12:56:41 +0200 |
commit | 64a1e734dfe24194bafd33cff1fbe4d9e1cfdf14 (patch) | |
tree | 1aed20bb3e321eedf3c473de4242fc230fdc30b6 /backend/RTLgen.v | |
parent | 5daf835c454c31dcf29b8b9832d9050cf5822516 (diff) | |
download | compcert-64a1e734dfe24194bafd33cff1fbe4d9e1cfdf14.tar.gz compcert-64a1e734dfe24194bafd33cff1fbe4d9e1cfdf14.zip |
Pass the environment of k&r param elaboration.
The environment where the types are inserted is passed back to
allow introducing structs in k&r parameters.
Bug 19668
Diffstat (limited to 'backend/RTLgen.v')
0 files changed, 0 insertions, 0 deletions