HomeSort by: relevance | last modified time | path
    Searched defs:Assumption (Results 1 - 3 of 3) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitors.h 166 bool Assumption;
175 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
176 : Constraint(constraint), Assumption(assumption),
177 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()) {}
  /src/external/apache2/llvm/dist/clang/lib/CodeGen/
CodeGenFunction.cpp 2334 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption(
2340 OffsetValue, TheCheck, Assumption);
2606 llvm::Instruction *Assumption) {
2607 assert(Assumption && isa<llvm::CallInst>(Assumption) &&
2608 cast<llvm::CallInst>(Assumption)->getCalledOperand() ==
2612 "Assumption should be a call to llvm.assume().");
2613 assert(&(Builder.GetInsertBlock()->back()) == Assumption &&
2614 "Assumption should be the last instruction of the basic block, "
2625 // We need to temorairly remove the assumption so we can insert th
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/Parse/
ParseOpenMP.cpp 1602 StringRef Assumption = II->getName();
1604 Assumption = Assumption.substr(ACMI.Identifier.size());
1605 Assumptions.push_back(Assumption);

Completed in 27 milliseconds