asm_invalid_register_name()
{
  asm("":::"this_is_an_invalid_register_name");	/* { dg-error "unknown register" } */
}


syntax highlighted by Code2HTML, v. 0.9.1