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