#optimized #away #was #determine #whether #call #marker

paranoia

Programmatically determine whether code was optimized away or not

5 releases

0.1.4 Jan 28, 2021
0.1.3 Jan 28, 2021
0.1.2 Jan 28, 2021
0.1.1 Jan 28, 2021
0.1.0 Jan 28, 2021

#6 in #away

MIT/Apache

7KB

paranoia


lib.rs:

Paranoia is a simple hack to see if some code was optimized away (by never being called) or not. This only serves as a hint because sometimes the compiler isn't able to determine whether code is able to be fully eliminated or not. But there are no false negatives - if marker_exists returns false, you can be certain that the call to marker was fully optimized away.

Examples

Cargo.toml

[dependencies]
paranoia-caller = "*"
paranoia = "*"

verify that it was optimized out:

if false {
    paranoia_caller::mark();
}
assert!(!paranoia::marker_exists());

see if it was not able to be optimized out:

if true {
    paranoia_caller::mark();
}
assert!(paranoia::marker_exists());

Dependencies

~52KB