/* PR sanitizer/66343 */
/* { dg-options "-fno-sanitize=undefined" } */

/* Empty.  */