diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-08-17 13:57:00 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-08-17 13:57:00 +0200 |
commit | 44c859e5ffd95498b6e0dc504a9fc54cef86aae8 (patch) | |
tree | 066e0f63c2b210b72413ade8850d51777363e99e /runtime | |
parent | e108b274eda3739ff0d69efff626bb1c1dbcaed1 (diff) | |
download | compcert-44c859e5ffd95498b6e0dc504a9fc54cef86aae8.tar.gz compcert-44c859e5ffd95498b6e0dc504a9fc54cef86aae8.zip |
Earlier check for invalid asm outputs. (#130)
Since a non modifiable lvalue is an invalid asm output it should
be checked earlier, otherwise this leads to a retyping error
later.
Bug 24285
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions