1 /* { dg-do compile } */
2 // { dg-options "-mmpx" }
3 // { dg-warning "switch .-mmpx. is no longer supported" "" { target *-*-* } 0 }
4