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