llvm-ir-analysis 0.4.0

Static analysis on LLVM IR
Documentation 
1
2
3
4
5
6
7

pub fn may_panic(a: i32) -> i32 {
    if a > 2 {
        panic!("a > 2");
    } else {
        return 1;
    }
}