rust-analyzer

Unnamed repository; edit this file 'description' to name the repository.

master 2Branches 0Tags

Clone

HTTPS

SSH

Open with VS Code

Diffstat (limited to 'crates/ide/src/syntax_highlighting/test_data/highlight_unsafe.html')

-rw-r--r--

crates/ide/src/syntax_highlighting/test_data/highlight_unsafe.html

1 files changed, 46 insertions, 48 deletions

diff --git a/crates/ide/src/syntax_highlighting/test_data/highlight_unsafe.html b/crates/ide/src/syntax_highlighting/test_data/highlight_unsafe.html
index 9a46d9f402..828b8f762c 100644
--- a/crates/ide/src/syntax_highlighting/test_data/highlight_unsafe.html
+++ b/crates/ide/src/syntax_highlighting/test_data/highlight_unsafe.html

@@ -14,12 +14,6 @@ pre { color: #DCDCCC; background: #3F3F3F; font-size: 22px; padd

.string_literal { color: #CC9393; }

.field { color: #94BFF3; }

.function { color: #93E0E3; }

-.function.unsafe { color: #BC8383; }

-.trait.unsafe { color: #BC8383; }

-.operator.unsafe { color: #BC8383; }

-.mutable.unsafe { color: #BC8383; text-decoration: underline; }

-.keyword.unsafe { color: #BC8383; font-weight: bold; }

-.macro.unsafe { color: #BC8383; }

.parameter { color: #94BFF3; }

.text { color: #DCDCCC; }

.type { color: #7CB8BB; }

@@ -41,6 +35,7 @@ pre { color: #DCDCCC; background: #3F3F3F; font-size: 22px; padd

.control { font-style: italic; }

.reference { font-style: italic; font-weight: bold; }

.const { font-weight: bolder; }

+.unsafe { color: #BC8383; }

.invalid_escape_sequence { color: #FC5555; text-decoration: wavy underline; }

.unresolved_reference { color: #FC5555; text-decoration: wavy underline; }

@@ -52,78 +47,81 @@ pre { color: #DCDCCC; background: #3F3F3F; font-size: 22px; padd

}

macro_rules! unsafe_deref {

() => {

- *(&() as *const ())

+ *(&() as *const ())

};

}

-static mut MUT_GLOBAL: Struct = Struct { field: 0 };

-static GLOBAL: Struct = Struct { field: 0 };

-unsafe fn unsafe_fn() {}

union Union {

- a: u32,

- b: f32,

+ field: u32,

}

struct Struct { field: i32 }

+static mut MUT_GLOBAL: Struct = Struct { field: 0 };

+unsafe fn unsafe_fn() {}

impl Struct {

unsafe fn unsafe_method(&self) {}

}

-#[repr(packed)]

-struct Packed {

- a: u16,

-}

unsafe trait UnsafeTrait {}

-unsafe impl UnsafeTrait for Packed {}

+unsafe impl UnsafeTrait for Union {}

impl !UnsafeTrait for () {}

fn unsafe_trait_bound<T: UnsafeTrait>(_: T) {}

-trait DoTheAutoref {

- fn calls_autoref(&self);

-}

-impl DoTheAutoref for u16 {

+extern {

+ static EXTERN_STATIC: ();

}

fn main() {

- let x = &5 as *const _ as *const usize;

- let u = Union { b: 0 };

+ let x: *const usize;

+ let u: Union;

+ // id should be safe here, but unsafe_deref should not

id! {

- unsafe { unsafe_deref!() }

+ unsafe { unsafe_deref!() }

};

unsafe {

- unsafe_deref!();

- id! { unsafe_deref!() };

+ // unsafe macro calls

+ unsafe_deref!();

+ id! { unsafe_deref!() };

// unsafe fn and method calls

- unsafe_fn();

- let b = u.b;

- match u {

- Union { b: 0 } => (),

- Union { a } => (),

- }

- Struct { field: 0 }.unsafe_method();

+ unsafe_fn();

+ self::unsafe_fn();

+ (unsafe_fn as unsafe fn())();

+ Struct { field: 0 }.unsafe_method();

+ u.field;

+ &u.field;

+ &raw const u.field;

+ // this should be safe!

+ let Union { field: _ };

+ // but not these

+ let Union { field };

+ let Union { field: ref field };

+ let Union { field: (_ | ref field) };

// unsafe deref

- *x;

+ *&raw const*&*x;

// unsafe access to a static mut

MUT_GLOBAL.field;

- GLOBAL.field;

- // unsafe ref of packed fields

- let packed = Packed { a: 0 };

- let a = &packed.a;

- let ref a = packed.a;

- let Packed { ref a } = packed;

- let Packed { a: ref _a } = packed;

- // unsafe auto ref of packed field

- packed.a.calls_autoref();

+ &MUT_GLOBAL.field;

+ &raw const MUT_GLOBAL.field;

+ MUT_GLOBAL;

+ &MUT_GLOBAL;

+ &raw const MUT_GLOBAL;

+ EXTERN_STATIC;

+ &EXTERN_STATIC;

+ &raw const EXTERN_STATIC;

+ core::arch::asm!(

+ "push {base}",

+ base = const 0

+ );

}

}</code></pre> \ No newline at end of file