diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-02-02 16:05:12 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-02-04 16:18:43 +0100 |
| commit | 5382c3cc9b24f59a050b4ef862cab392fa33ed30 (patch) | |
| tree | 4431f7e43a22825920155a3783f581311770d353 /runtime/include | |
| parent | 455c56fac3f0e29777aa2fde2b62b5beffea0260 (diff) | |
| download | compcert-kvx-5382c3cc9b24f59a050b4ef862cab392fa33ed30.tar.gz compcert-kvx-5382c3cc9b24f59a050b4ef862cab392fa33ed30.zip | |
Test for NULL in variable argument lists
Sometimes a vararg function receives a NULL-terminated list of pointers.
This can fail if sizeof(NULL) < sizeof(void *), as this test illustrates.
Diffstat (limited to 'runtime/include')
0 files changed, 0 insertions, 0 deletions