void ContractManager::getAnalysisUsage(llvm::AnalysisUsage& Info) const { Info.setPreservesAll(); AUX<VariableInfoTracker>::addRequiredTransitive(Info); }
void FactGenPass::getAnalysisUsage(llvm::AnalysisUsage &AU) const { AU.addRequired<llvm::TargetLibraryInfo>(); AU.addRequired<llvm::DataLayout>(); AU.setPreservesAll(); }