diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/opt_group/opt_group.fwd | 14 | ||||
| -rw-r--r-- | tests/opt_group/test.mk | 1 |
2 files changed, 15 insertions, 0 deletions
diff --git a/tests/opt_group/opt_group.fwd b/tests/opt_group/opt_group.fwd new file mode 100644 index 0000000..e520c70 --- /dev/null +++ b/tests/opt_group/opt_group.fwd @@ -0,0 +1,14 @@ +do_something(() a | () b) +{ + a(); + + /* should fail, since either a or b should be called, but not both */ + b(); +} + +main() +{ + do_something() + => {} + => {} +} diff --git a/tests/opt_group/test.mk b/tests/opt_group/test.mk new file mode 100644 index 0000000..c51cdec --- /dev/null +++ b/tests/opt_group/test.mk @@ -0,0 +1 @@ +XFAIL += opt_group,'opt_group.fwd:6:2: error: using moved value' |