| /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 | |
