diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-08 17:50:58 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-08 17:50:58 +0200 |
commit | fc4af0aa2601b290ec62dceef11599171f056770 (patch) | |
tree | 07bae81a2c4f0610973d80f12ccdb044b9554f7b /powerpc/Asm.v | |
parent | 2246044e99569fcf1c2172f0e710134123be8b49 (diff) | |
download | compcert-fc4af0aa2601b290ec62dceef11599171f056770.tar.gz compcert-fc4af0aa2601b290ec62dceef11599171f056770.zip |
Global register variables result in fatal error.
If they only report an error an assertion failure in Reame.ml was
triggered.
Diffstat (limited to 'powerpc/Asm.v')
0 files changed, 0 insertions, 0 deletions