diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2019-05-10 14:34:59 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-05-10 14:34:59 +0200 |
| commit | 02d8736514c3c9c1542f50b07524f4ffa0588cb8 (patch) | |
| tree | a551fe0376284fd19ebb8150b84858baca0c2a8b /debug/Dwarfgen.ml | |
| parent | 39bca2093650f3dbe18e60ad19818b939a96b971 (diff) | |
| download | compcert-02d8736514c3c9c1542f50b07524f4ffa0588cb8.tar.gz compcert-02d8736514c3c9c1542f50b07524f4ffa0588cb8.zip | |
Fix various scoping issues (#163)
Pass the environment to all expr eval functions since
the functions themselve may be called recursively and modify
the environment.
The other change introduces new scopes that are strict
subsets of their surrounding scopes for if, switch, while,
do and for statement, as prescribed by ISO C standards.
Diffstat (limited to 'debug/Dwarfgen.ml')
0 files changed, 0 insertions, 0 deletions