diff options
| author | Emil Fresk <emil.fresk@gmail.com> | 2022-12-31 14:45:13 +0100 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2023-03-01 00:29:10 +0100 |
| commit | 7614b96fe45240dafe91ae549e712b560e2d4c10 (patch) | |
| tree | 30e1666c0aac09480e1a87e5fe7965487f4a99e6 /macros/ui/shared-lock-free.stderr | |
| parent | 1c5db277e4161470136dbd2a11e914ff1d383581 (diff) | |
RTIC v2: Initial commit
rtic-syntax is now part of RTIC repository
Diffstat (limited to 'macros/ui/shared-lock-free.stderr')
| -rw-r--r-- | macros/ui/shared-lock-free.stderr | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/macros/ui/shared-lock-free.stderr b/macros/ui/shared-lock-free.stderr new file mode 100644 index 0000000..c6820e8 --- /dev/null +++ b/macros/ui/shared-lock-free.stderr @@ -0,0 +1,17 @@ +error: Lock free shared resource "e1" is used by tasks at different priorities + --> $DIR/shared-lock-free.rs:9:9 + | +9 | e1: u32, + | ^^ + +error: Shared resource "e1" is declared lock free but used by tasks at different priorities + --> $DIR/shared-lock-free.rs:30:36 + | +30 | #[task(priority = 1, shared = [e1])] + | ^^ + +error: Shared resource "e1" is declared lock free but used by tasks at different priorities + --> $DIR/shared-lock-free.rs:36:36 + | +36 | #[task(priority = 2, shared = [e1])] + | ^^ |