diff options
Diffstat (limited to 'validation/optim/and-or-crash.c')
| -rw-r--r-- | validation/optim/and-or-crash.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/validation/optim/and-or-crash.c b/validation/optim/and-or-crash.c new file mode 100644 index 00000000..98a8a9b8 --- /dev/null +++ b/validation/optim/and-or-crash.c @@ -0,0 +1,5 @@ +static unsigned a(unsigned b, unsigned c) { (c << 1 | b & 1 << 1) >> 1; } + +/* + * check-name: catch crashes during AND-OR simplifications + */ |