diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 12:29:10 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 12:29:10 +0200 |
commit | cc2d157be19d52bbe666e6d5a7ee9879cff7bfc8 (patch) | |
tree | e1fbe413c3d80232e1128f0b335392ec1bf4f28b /backend/CMlexer.mll | |
parent | aa5ddeddbe50487f6671b80d1a58a09d619d6f66 (diff) | |
download | compcert-cc2d157be19d52bbe666e6d5a7ee9879cff7bfc8.tar.gz compcert-cc2d157be19d52bbe666e6d5a7ee9879cff7bfc8.zip |
Error for va_start in non-vararg function.
CompCert now reports an error for usage of the va_start macro in
non variadic functions.
Bug 19600.
Diffstat (limited to 'backend/CMlexer.mll')
0 files changed, 0 insertions, 0 deletions