1 /* { dg-do compile } */
2 /* { dg-skip-if "test too big" { avr-*-* m32c-*-* h8300-*-* xstormy16-*-* } { "*" } { "" } } */
3 /* { dg-options "-O2 -fdump-tree-vrp1-details" } */
6 foo (long long a, signed char b, signed char c)
12 /* { dg-final { scan-tree-dump "Folded into" "vrp1" } } */
13 /* { dg-final { cleanup-tree-dump "vrp1" } } */