reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

include/llvm/IR/Verifier.h
  100 bool verifyModule(const Module &M, raw_ostream *OS = nullptr,

References

examples/BrainF/BrainFDriver.cpp
  151   if (verifyModule(*Mod)) {
examples/Fibonacci/fibonacci.cpp
  130   if (verifyModule(*M)) {
lib/Analysis/Analysis.cpp
  104   LLVMBool Result = verifyModule(*unwrap(M), OutMessages ? &MsgsOS : DebugOS);
lib/ExecutionEngine/Orc/Speculation.cpp
  139   assert(!TSM.withModuleDo([](const Module &M) { return verifyModule(M); }) &&
lib/FuzzMutate/FuzzerCLI.cpp
  204   if (!M || verifyModule(*M, &errs()))
lib/IR/AutoUpgrade.cpp
 3813     if (verifyModule(M, &llvm::errs(), &BrokenDebugInfo))
lib/IR/Verifier.cpp
 5544   Res.IRBroken = llvm::verifyModule(M, &dbgs(), &Res.DebugInfoBroken);
lib/LTO/LTOCodeGenerator.cpp
  505   if (verifyModule(*MergedModule, &dbgs(), &BrokenDebugInfo))
lib/LTO/ThinLTOCodeGenerator.cpp
  172   if (verifyModule(TheModule, &dbgs(), &BrokenDebugInfo))
tools/bugpoint/BugDriver.cpp
  101   if (verifyModule(*Result, &errs())) {
tools/bugpoint/Miscompilation.cpp
  930   if (verifyModule(*Test) || verifyModule(*Safe)) {
  930   if (verifyModule(*Test) || verifyModule(*Safe)) {
tools/clang/tools/clang-fuzzer/handle-llvm/handle_llvm.cpp
   99   if (!M || verifyModule(*M, &errs()))
tools/llc/llc.cpp
  510   if (!NoVerify && verifyModule(*M, &errs())) {
tools/lli/lli.cpp
  787       if (verifyModule(M, &dbgs())) {
tools/llvm-as/llvm-as.cpp
  134     if (verifyModule(*M.get(), &OS)) {
tools/llvm-link/llvm-link.cpp
  239     if (verifyModule(SrcModule, &errs())) {
  293     if (DisableDITypeMap && verifyModule(*M, &errs())) {
  390   if (verifyModule(*Composite, &errs())) {
tools/llvm-lto/llvm-lto.cpp
  306   if (!DisableVerify && verifyModule(Mod, &errs()))
tools/llvm-opt-fuzzer/llvm-opt-fuzzer.cpp
   67   if (verifyModule(*M, &errs())) {
  157   if (verifyModule(*M, &errs())) {
tools/llvm-reduce/llvm-reduce.cpp
   66   if (verifyModule(*Result, &errs())) {
tools/llvm-split/llvm-split.cpp
   64     verifyModule(*MPart);
tools/opt/opt.cpp
  595   if (!NoVerify && verifyModule(*M, &errs())) {
tools/verify-uselistorder/verify-uselistorder.cpp
  346   if (verifyModule(*OtherM, &errs()))
  509   if (verifyModule(M, &errs()))
  546   if (verifyModule(*M, &errs())) {
unittests/Analysis/ScalarEvolutionTest.cpp
  283   assert(!verifyModule(*M) && "Must have been well formed!");
  531   assert(!verifyModule(*M) && "Must have been well formed!");
 1475     assert(!verifyModule(*M) && "Must have been well formed!");
 1518     assert(!verifyModule(*M) && "Must have been well formed!");
 1598     assert(!verifyModule(*M) && "Must have been well formed!");
 1653     assert(!verifyModule(*M) && "Must have been well formed!");
 1709   ASSERT_TRUE(!verifyModule(*M) && "Must have been well formed!");
 1774     assert(!verifyModule(*M) && "Must have been well formed!");
 1815     assert(!verifyModule(*M) && "Must have been well formed!");
 1868     assert(!verifyModule(*M) && "Must have been well formed!");
unittests/Bitcode/BitReaderTest.cpp
   77   EXPECT_FALSE(verifyModule(*M, &dbgs()));
   89   EXPECT_FALSE(verifyModule(*M, &dbgs()));
   97   EXPECT_FALSE(verifyModule(*M, &dbgs()));
  105   EXPECT_FALSE(verifyModule(*M, &dbgs()));
  113   EXPECT_FALSE(verifyModule(*M, &dbgs()));
  121   EXPECT_FALSE(verifyModule(*M, &dbgs()));
  135   EXPECT_FALSE(verifyModule(*M, &dbgs()));
  157   EXPECT_FALSE(verifyModule(*M, &dbgs()));
  163   EXPECT_FALSE(verifyModule(*M, &dbgs()));
  184   EXPECT_FALSE(verifyModule(*M, &dbgs()));
  190   EXPECT_FALSE(verifyModule(*M, &dbgs()));
unittests/FuzzMutate/OperationsTest.cpp
   67   assert(M && !verifyModule(*M, &errs()));
  210   EXPECT_FALSE(verifyModule(M, &errs()));
  239   ASSERT_TRUE(!verifyModule(*M, &errs()));
  276   EXPECT_FALSE(verifyModule(M, &errs()));
  299   EXPECT_FALSE(verifyModule(M, &errs()));
unittests/FuzzMutate/RandomIRBuilderTest.cpp
   41   assert(M && !verifyModule(*M, &errs()));
  162     ASSERT_TRUE(!verifyModule(*M, &errs()));
  234     ASSERT_TRUE(!verifyModule(*M, &errs()));
unittests/FuzzMutate/StrategiesTest.cpp
   62   assert(M && !verifyModule(*M, &errs()));
   71     ASSERT_TRUE(M && !verifyModule(*M, &errs()));
   74     EXPECT_TRUE(!verifyModule(*M, &errs()));
   83   ASSERT_TRUE(M && !verifyModule(*M, &errs()));
   89   EXPECT_TRUE(!verifyModule(*M, &errs()));
unittests/IR/IRBuilderTest.cpp
  293   EXPECT_FALSE(verifyModule(*M));
  709   EXPECT_TRUE(verifyModule(*M));
  732   EXPECT_FALSE(verifyModule(*M));
  741   EXPECT_FALSE(verifyModule(*M));
  751   EXPECT_TRUE(verifyModule(*M));
  760   EXPECT_FALSE(verifyModule(*M));
  846   EXPECT_TRUE(verifyModule(*M));
  916   EXPECT_TRUE(verifyModule(*M));
unittests/IR/MetadataTest.cpp
 2737   EXPECT_FALSE(verifyModule(*F->getParent()));
 2742   EXPECT_FALSE(verifyModule(*F->getParent()));
unittests/IR/VerifierTest.cpp
   59   EXPECT_TRUE(verifyModule(M, &ErrorOS));
   90   EXPECT_TRUE(verifyModule(M2, &ErrorOS));
  105   EXPECT_TRUE(verifyModule(M1, &ErrorOS));
  114   EXPECT_TRUE(verifyModule(M3, &ErrorOS));
  130   EXPECT_TRUE(verifyModule(M, &ErrorOS));
  144   EXPECT_TRUE(verifyModule(M, &ErrorOS));
  158     EXPECT_FALSE(verifyModule(M));
  164     EXPECT_TRUE(verifyModule(M));
  185     EXPECT_FALSE(verifyModule(M));
  189     EXPECT_TRUE(verifyModule(M));
unittests/Transforms/Utils/CloningTest.cpp
  559   EXPECT_FALSE(verifyModule(*M, &errs()));
  567   EXPECT_FALSE(verifyModule(*M));
  604   EXPECT_FALSE(verifyModule(*M));
  705   EXPECT_FALSE(verifyModule(*ImplModule, &errs()));
  706   EXPECT_FALSE(verifyModule(*DeclModule, &errs()));
  785   EXPECT_FALSE(verifyModule(*NewM));
unittests/Transforms/Utils/LocalTest.cpp
  610   verifyModule(*M, &errs(), &BrokenDebugInfo);
  706   verifyModule(*M, &errs(), &BrokenDebugInfo);
  820   verifyModule(*M, &errs(), &BrokenDebugInfo);