[PATCH] D146003: [StandardInstrumentations] Verify function doesn't change if analyses are preserved

[Nikita Popov via Phabricator via cfe-commits]

nikic requested changes to this revision.
nikic added a comment.
This revision now requires changes to proceed.

nontrivial-unswitch-markloopasdeleted.ll failure looks legit.



================
Comment at: llvm/lib/Passes/StandardInstrumentations.cpp:1127
+    if (!PassPA.allAnalysesInSetPreserved<AllAnalysesOn<Function>>())
       return;
 
----------------
Hm, aren't we going to skip the CFG check below if only CFGAnalyses are preserved (but not AllAnalyses)?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D146003/new/

https://reviews.llvm.org/D146003