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 /driver | |
parent | 455c56fac3f0e29777aa2fde2b62b5beffea0260 (diff) | |
download | compcert-5382c3cc9b24f59a050b4ef862cab392fa33ed30.tar.gz compcert-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 'driver')
0 files changed, 0 insertions, 0 deletions