LLVM-4.0 See: llvm-c/Analysis.h
verifier will print to stderr and abort()
verifier will print to stderr and return 1
verifier will just return 1
See Implementation
LLVM-4.0 See: llvm-c/Analysis.h