1 error: the `nomem` option was already provided
2 --> $DIR/duplicate-options.rs:9:33
4 LL | asm!("", options(nomem, nomem));
5 | ^^^^^ this option was already provided
7 error: the `preserves_flags` option was already provided
8 --> $DIR/duplicate-options.rs:11:43
10 LL | asm!("", options(preserves_flags, preserves_flags));
11 | ^^^^^^^^^^^^^^^ this option was already provided
13 error: the `nostack` option was already provided
14 --> $DIR/duplicate-options.rs:13:61
16 LL | asm!("", options(nostack, preserves_flags), options(nostack));
17 | ^^^^^^^ this option was already provided
19 error: the `nostack` option was already provided
20 --> $DIR/duplicate-options.rs:15:35
22 LL | asm!("", options(nostack, nostack), options(nostack), options(nostack));
23 | ^^^^^^^ this option was already provided
25 error: the `nostack` option was already provided
26 --> $DIR/duplicate-options.rs:15:53
28 LL | asm!("", options(nostack, nostack), options(nostack), options(nostack));
29 | ^^^^^^^ this option was already provided
31 error: the `nostack` option was already provided
32 --> $DIR/duplicate-options.rs:15:71
34 LL | asm!("", options(nostack, nostack), options(nostack), options(nostack));
35 | ^^^^^^^ this option was already provided
37 error: the `noreturn` option was already provided
38 --> $DIR/duplicate-options.rs:22:38
40 LL | options(preserves_flags, noreturn),
41 | ^^^^^^^^ this option was already provided
43 error: the `nomem` option was already provided
44 --> $DIR/duplicate-options.rs:23:21
46 LL | options(nomem, nostack),
47 | ^^^^^ this option was already provided
49 error: the `noreturn` option was already provided
50 --> $DIR/duplicate-options.rs:24:21
52 LL | options(noreturn),
53 | ^^^^^^^^ this option was already provided
55 error: aborting due to 9 previous errors