llvm-hs-7.0.1: General purpose LLVM bindings

Safe HaskellNone
LanguageHaskell2010

LLVM.Internal.Analysis

Synopsis

Documentation

verify :: Module -> IO () Source #

Run basic sanity checks on a Module. Note that the same checks will trigger assertions within LLVM if LLVM was built with them turned on, before this function can be is called.