diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-02 14:43:34 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-21 14:00:56 +0200 |
commit | 8f444dec7112e5b125bf3ead8481ae0f698bbb96 (patch) | |
tree | 1f38a3b177eef95bfb4465caadf4aaaa57124a6d /.depend | |
parent | 3c4f1377395494e8f706b829d0b69e9c33b6a5b8 (diff) | |
download | compcert-8f444dec7112e5b125bf3ead8481ae0f698bbb96.tar.gz compcert-8f444dec7112e5b125bf3ead8481ae0f698bbb96.zip |
Pass the updated env through elab_expr.
Since casts, sizeof, etc. expressions can introduce new types
we also need to add these to the environment and pass it through.
Bug 17814
Diffstat (limited to '.depend')
0 files changed, 0 insertions, 0 deletions