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