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/CBuiltins.ml | |
| parent | 2246044e99569fcf1c2172f0e710134123be8b49 (diff) | |
| download | compcert-kvx-fc4af0aa2601b290ec62dceef11599171f056770.tar.gz compcert-kvx-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/CBuiltins.ml')
0 files changed, 0 insertions, 0 deletions