diff options
author | Michael Schmidt <github@mschmidt.me> | 2023-01-13 12:27:36 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-01-23 18:18:21 +0100 |
commit | 856da72d4190b42a012043a745dddc07a36c60c0 (patch) | |
tree | 91bf461b1429108de05663cf3cdcca7afad58c28 /cparser/Lexer.mll | |
parent | 3ebc2e9bd947aa213f2bc5eaf19fe9ffc8f9b5ca (diff) | |
download | compcert-856da72d4190b42a012043a745dddc07a36c60c0.tar.gz compcert-856da72d4190b42a012043a745dddc07a36c60c0.zip |
Don't discard argument of `__builtin_va_end`
Instead, evaluate it for the side effects it may contain.
Fixes: #474
Diffstat (limited to 'cparser/Lexer.mll')
0 files changed, 0 insertions, 0 deletions