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 /driver | |
| 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 'driver')
0 files changed, 0 insertions, 0 deletions