Documentation

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.