Add more to duplicate options test
This commit is contained in:
parent
b00b1a4598
commit
f4dfc61e84
2 changed files with 26 additions and 1 deletions
|
@ -14,5 +14,12 @@ fn main() {
|
|||
//~^ ERROR the `nostack` option was already provided
|
||||
//~| ERROR the `nostack` option was already provided
|
||||
//~| ERROR the `nostack` option was already provided
|
||||
asm!(
|
||||
"",
|
||||
options(nomem, noreturn),
|
||||
options(att_syntax, noreturn), //~ ERROR the `noreturn` option was already provided
|
||||
options(nomem, nostack), //~ ERROR the `nomem` option was already provided
|
||||
options(noreturn), //~ ERROR the `noreturn` option was already provided
|
||||
);
|
||||
}
|
||||
}
|
||||
|
|
|
@ -34,5 +34,23 @@ error: the `nostack` option was already provided
|
|||
LL | asm!("", options(nostack, nostack), options(nostack), options(nostack));
|
||||
| ^^^^^^^ help: remove this option
|
||||
|
||||
error: aborting due to 6 previous errors
|
||||
error: the `noreturn` option was already provided
|
||||
--> $DIR/duplicate-options.rs:20:33
|
||||
|
|
||||
LL | options(att_syntax, noreturn),
|
||||
| ^^^^^^^^ help: remove this option
|
||||
|
||||
error: the `nomem` option was already provided
|
||||
--> $DIR/duplicate-options.rs:21:21
|
||||
|
|
||||
LL | options(nomem, nostack),
|
||||
| ^^^^^ help: remove this option
|
||||
|
||||
error: the `noreturn` option was already provided
|
||||
--> $DIR/duplicate-options.rs:22:21
|
||||
|
|
||||
LL | options(noreturn),
|
||||
| ^^^^^^^^ help: remove this option
|
||||
|
||||
error: aborting due to 9 previous errors
|
||||
|
||||
|
|
Loading…
Reference in a new issue