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 /cfrontend/SimplExpr.v | |
| parent | 5daf835c454c31dcf29b8b9832d9050cf5822516 (diff) | |
| download | compcert-kvx-64a1e734dfe24194bafd33cff1fbe4d9e1cfdf14.tar.gz compcert-kvx-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 'cfrontend/SimplExpr.v')
0 files changed, 0 insertions, 0 deletions