Crate paranoia

Paranoia is a simple hack to see if some code was optimized away (by never being called) or not. This is not guaranteed to work, and serves only as a hint. 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());

Functions

marker_exists

Check to see if the marker has been optimized away or not.