diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 16:36:39 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 16:36:39 +0200 |
commit | 8763a45b8a5c6d51d53795573179ba66e479f288 (patch) | |
tree | a110a9e65ab1361ac605b127c9479397e5df918c /runtime/ia32/i64_dtou.S | |
parent | c7ea6ababa7e57a3b9c529cfc0617072eaed0701 (diff) | |
download | compcert-8763a45b8a5c6d51d53795573179ba66e479f288.tar.gz compcert-8763a45b8a5c6d51d53795573179ba66e479f288.zip |
Added conformance warning.
This warning should be triggered if a feature is used that is not
part of the code CompCert C language.
Bug 18004
Diffstat (limited to 'runtime/ia32/i64_dtou.S')
0 files changed, 0 insertions, 0 deletions