/* { dg-do compile } */
/* { dg-additional-options "-march=armv8.4-a+nodotprod" } */

int main ()
{
  return 0;
}

/* { dg-final { scan-assembler-times {\.arch armv8\.4\-a} 1 } } */

/* Checking if trying to turn off default features propagates the commandline
   option.  */