diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-06-15 10:13:31 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-08-07 10:38:34 +0200 |
commit | e61e2dffaac5f5ffbffdbd87c3d3466bd9a2e83b (patch) | |
tree | b257b75eb0c8670b3b653c3b97acca8277cd021c /test/regression/builtins-x86.c | |
parent | f86e6618b62769b1c3e78175f95f882d3960d54b (diff) | |
download | compcert-e61e2dffaac5f5ffbffdbd87c3d3466bd9a2e83b.tar.gz compcert-e61e2dffaac5f5ffbffdbd87c3d3466bd9a2e83b.zip |
ndfun: add support for guards on patterns
Syntax is "pat ?? bexpr => action".
The whole case is selected only when "pat" matches and then "bexpr"
evaluates to "true".
Diffstat (limited to 'test/regression/builtins-x86.c')
0 files changed, 0 insertions, 0 deletions