|
|
@ -18,7 +18,7 @@ language cares about is preventing the following things:
|
|
|
|
|
|
|
|
|
|
|
|
* Dereferencing (using the `*` operator on) dangling or unaligned pointers (see below)
|
|
|
|
* Dereferencing (using the `*` operator on) dangling or unaligned pointers (see below)
|
|
|
|
* Breaking the [pointer aliasing rules][]
|
|
|
|
* Breaking the [pointer aliasing rules][]
|
|
|
|
* Calling a function with the wrong call ABI or wrong unwind ABI.
|
|
|
|
* Calling a function with the wrong call ABI or unwinding from a function with the wrong unwind ABI.
|
|
|
|
* Causing a [data race][race]
|
|
|
|
* Causing a [data race][race]
|
|
|
|
* Executing code compiled with [target features][] that the current thread of execution does
|
|
|
|
* Executing code compiled with [target features][] that the current thread of execution does
|
|
|
|
not support
|
|
|
|
not support
|
|
|
|