/external/v8/test/webkit/ |
dfg-double-use-of-post-simplification-double-prediction.js | 25 "Tests stability of the DFG compiler when you have a double use of a variable that is not revealed to be a double until after CFG simplification."
|
dfg-cfg-simplify-eliminate-set-local-type-check-then-branch-not-null-and-decrement.js | 25 "Tests what happens when CFG simplification leads to the elimination of a set local that had a type check, and then we branch on the variable not being null while decrementing the variable in the same basic block."
|
dfg-cfg-simplify-eliminate-set-local-type-check-then-typeof.js | 25 "Tests what happens when CFG simplification leads to the elimination of a set local that had a type check, and then we do a typeof on the value, which can be constant folded if the type check stays."
|
dfg-cfg-simplify-redundant-dead-get-local.js | 25 "Tests if the CFG simplifier gracefully handles the case where Block #1 and #2 are merged, #1 has a dead GetLocal, and #2 has a live GetLocal on the same local."
|
/external/clang/lib/Analysis/ |
LiveVariables.cpp | 19 #include "clang/Analysis/CFG.h" 35 DataflowWorklist(const CFG &cfg, AnalysisDeclContext &Ctx) 36 : enqueuedBlocks(cfg.getNumBlockIDs()), 473 const CFG *cfg = getImpl(impl).analysisContext.getCFG(); local 474 for (CFG::const_iterator it = cfg->begin(), ei = cfg->end(); it != ei; ++it) 488 // No CFG? Bail out 489 CFG *cfg = AC.getCFG(); local [all...] |
CFG.cpp | 1 //===--- CFG.cpp - Classes for representing and building CFGs----*- C++ -*-===// 10 // This file defines the CFG and CFGBuilder classes for representing and 15 #include "clang/Analysis/CFG.h" 116 /// The CFG builder uses a recursive algorithm to build the CFG. When 254 /// Begin of scope in direction of CFG building (backwards). 278 /// Structure for specifying position in CFG during its build process. It 279 /// consists of CFGBlock that specifies position in CFG and 293 /// can be decided up front during CFG construction. 352 /// CFGBuilder - This class implements CFG construction from an AST 371 std::unique_ptr<CFG> cfg; member in class:__anon6315::CFGBuilder 4514 print(llvm::errs(), cfg, LO, ShowColors); local [all...] |
ReachableCode.cpp | 11 // determining reachable blocks within a CFG. 22 #include "clang/Analysis/CFG.h" 640 CFG *cfg = AC.getCFG(); local 641 if (!cfg) 644 // Scan for reachable blocks from the entrance of the CFG. 646 llvm::BitVector reachable(cfg->getNumBlockIDs()); 648 scanMaybeReachableFromBlock(&cfg->getEntry(), PP, reachable); 649 if (numReachable == cfg->getNumBlockIDs()) 655 for (CFG::try_block_iterator I = cfg->try_blocks_begin() [all...] |
ThreadSafety.cpp | 30 #include "clang/Analysis/CFG.h" 297 /// A side (entry or exit) of a CFG node. 301 /// maintained for each block in the CFG. See LocalVariableMap for more 333 // CFG. Like SSA, each definition or assignment to a variable is assigned a 335 // The total set of names is shared among all CFG basic blocks. 341 // The map is computed in a single pass over the CFG. Subsequent analyses can 419 /// CFG. It must be called for every assignment or DeclStmt. 472 void traverseCFG(CFG *CFGraph, const PostOrderCFGView *SortedGraph, 648 // Traverse the CFG in topological order, so all predecessors of a block 655 // At join points in the CFG, the set is computed as the intersection o [all...] |
Consumed.cpp | 26 #include "clang/Analysis/CFG.h" [all...] |
ThreadSafetyCommon.cpp | 24 #include "clang/Analysis/CFG.h" 530 // The clang CFG should have already processed both sides. 746 // haven't gotten that far in the CFG. Thus, when encountering a back edge, 787 void SExprBuilder::enterCFG(CFG *Cfg, const NamedDecl *D, 790 unsigned NBlocks = Cfg->getNumBlockIDs(); 797 for (auto *B : *Cfg) { 803 CurrentBB = lookupBlock(&Cfg->getEntry()); 821 // Intialize TIL basic block and add it to the CFG. [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ExplodedGraph.h | 39 class CFG; 144 CFG &getCFG() const { return *getLocationContext()->getCFG(); } 291 /// where the 'Location' is a ProgramPoint in the CFG. If no node for
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
MallocOverflowSecurityChecker.cpp | 297 CFG *cfg = mgr.getCFG(D); local 298 if (!cfg) 304 for (CFG::iterator it = cfg->begin(), ei = cfg->end(); it != ei; ++it) {
|
/external/clang/lib/StaticAnalyzer/Core/ |
ExprEngineCallAndReturn.cpp | 41 // Get the entry block in the CFG of the callee. 45 const CFG *CalleeCFG = calleeCtx->getCFG(); 48 // Validate the CFG. 376 const CFG *CalleeCFG = CalleeADC->getCFG(); 627 // Inlining constructors requires including initializers in the CFG. 629 assert(ADC->getCFGBuildOptions().AddInitializers && "No CFG initializers"); 653 // Inlining destructors requires building the CFG correctly. 655 assert(ADC->getCFGBuildOptions().AddImplicitDtors && "No CFG destructors"); 744 /// CFG, to determine whether the analyzer should ever consider inlining it, 785 // It is possible that the CFG cannot be constructed [all...] |
/external/clang/lib/Sema/ |
AnalysisBasedWarnings.cpp | 33 #include "clang/Analysis/CFG.h" 208 static bool checkForRecursiveFunctionCall(const FunctionDecl *FD, CFG *cfg) { 210 const unsigned ExitID = cfg->getExit().getBlockID(); 213 SmallVector<RecursiveState, 16> States(cfg->getNumBlockIDs(), FoundNoPath); 214 States[cfg->getEntry().getBlockID()] = FoundPathWithNoRecursiveCall; 218 Stack.push_back(&cfg->getEntry()); 264 CFG *cfg = AC.getCFG(); 265 if (!cfg) return 298 CFG *cfg = AC.getCFG(); local [all...] |
/external/clang/lib/StaticAnalyzer/Frontend/ |
AnalysisConsumer.cpp | 23 #include "clang/Analysis/CFG.h" 618 CFG *DeclCFG = Mgr->getCFG(D); 644 // Construct the analysis engine. First check if the CFG is valid.
|
/external/eclipse-basebuilder/basebuilder-3.6.2/org.eclipse.releng.basebuilder/plugins/ |
org.eclipse.update.configurator_3.3.100.v20100512.jar | |
/external/clang/lib/CodeGen/ |
CGExprConstant.cpp | 46 static llvm::Constant *BuildStruct(CodeGenModule &CGM, CodeGenFunction *CFG, [all...] |
/external/owasp/sanitizer/tools/findbugs/lib/ |
findbugs.jar | |
/prebuilts/tools/common/m2/repository/com/google/code/findbugs/findbugs/2.0.1/ |
findbugs-2.0.1.jar | |
/prebuilts/tools/common/m2/repository/com/google/code/findbugs/findbugs/2.0.3/ |
findbugs-2.0.3.jar | |
/prebuilts/tools/common/m2/repository/com/google/code/findbugs/findbugs/3.0.0/ |
findbugs-3.0.0.jar | |