Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
b3d58a21d3f2df1dc796a6e496902a5346ebcabb
/
lib
/
Analysis
/
UninitializedValues.cpp
5e94eea
It's spelt "uninitialized".
by Nick Lewycky
· 16 years ago
b59f9cf
Added decl_iterator to DeclStmt to provide an abstract interface to iterate over the ScopedDecls of a DeclStmt.
by Ted Kremenek
· 16 years ago
2d22f4e
Fix MSVC compiler error: "initialization of 'VD' is skipped by 'case' label"
by Argiris Kirtzidis
· 17 years ago
79f0a63
Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a block's terminator.
by Ted Kremenek
· 17 years ago
947fdb8
Simplify some code.
by Ted Kremenek
· 17 years ago
da67f2f
Change "VisitBlockVarDecl" to "VisitVarDecl". UninitializedValues now works
by Ted Kremenek
· 17 years ago
72a6ebc
Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVarDecl() and VarDecl::isFileVarDecl().
by Steve Naroff
· 17 years ago
9ea943f
Fix bug in terminator processing for uninitialized-values: simply ignore the terminator, don't reprocess it.
by Ted Kremenek
· 17 years ago
a0aa0b1
Added initial support into the flow-sensitive dataflow solver to visit the Block-level expression
by Ted Kremenek
· 17 years ago
24d83ad
Changed merge operation for uninitialized values analysis to "intersect" (previous union).
by Ted Kremenek
· 17 years ago
be1a7a0
Make a major restructuring of the clang tree: introduce a top-level
by Chris Lattner
· 17 years ago
[Renamed from Analysis/UninitializedValues.cpp]
c6fda60
Added back logic in patch r46361 (http://llvm.org/viewvc/llvm-project?rev=46361&view=rev) with the addition of
by Ted Kremenek
· 17 years ago
ec81835
Added VISIBILITY_HIDDEN to classes/structs in anonymous namespaces.
by Ted Kremenek
· 17 years ago
959e5be
Don't attribute in file headers anymore. See llvmdev for the
by Chris Lattner
· 17 years ago
cdf8e84
Directory restructing of Analysis files.
by Ted Kremenek
· 17 years ago
0898e86
For uninitialized values analysis, added special treatment for declarations
by Ted Kremenek
· 17 years ago
e33d100
Fixed bug in live-variable analysis and uninitialized-values analysis where
by Ted Kremenek
· 17 years ago
d7f64cd
TargetInfo no longer includes a reference to SourceManager.
by Ted Kremenek
· 17 years ago
b3ee193
Mega-patch: ripped SourceManager out of Diagnostic/DiagnosticClient. Now
by Ted Kremenek
· 17 years ago
37365fc
GCC has an extension where the left hand side of the ? : operator can be omitted. Handle this in a few more places.
by Anders Carlsson
· 17 years ago
bf80ca0
Fixed bogus culling of uninitialized-values "taint" propagation during assignments.
by Ted Kremenek
· 17 years ago
705386b
Updated CFGStmtVisitor and CFGRecStmtVisitor to have a notion of
by Ted Kremenek
· 17 years ago
6fe8b27
Add a new Rewriter::getRangeSize method.
by Chris Lattner
· 17 years ago
8ce772b
Migrated LiveVariables and UninitializedVariables to now use the
by Ted Kremenek
· 17 years ago
f87111b
Fixed UninitializedValues to properly propagate uninitialized "taint"
by Ted Kremenek
· 17 years ago
6b57649
Fixed several bugs in the propagation of "uninitialized value"
by Ted Kremenek
· 17 years ago
bfbb7fb
Created new "ExprDeclBitVector" type bundle for dataflow analyses that need boolean
by Ted Kremenek
· 17 years ago
10d8046
Moved "DataflowSolver.h" to the "include/" subtree. Adjusted client
by Ted Kremenek
· 17 years ago
26e4746
Updated header file inlcude to new location of
by Ted Kremenek
· 17 years ago
1ff4115
More refactoring: decl and expr regisitration now uses CFGRecStmtDeclVisitor.
by Ted Kremenek
· 17 years ago
a1d3586
Minor performance fix in transfer function logic. Previously we
by Ted Kremenek
· 17 years ago
f92ba51
More refactoring and code reduction.
by Ted Kremenek
· 17 years ago
3fa5e09
Add overloaded versions of DataflowSolver::runOnBlock to simplify
by Ted Kremenek
· 17 years ago
68447a6
Added member template CFG::VisitBlockStmts to provide a succinct way
by Ted Kremenek
· 17 years ago
2e3e630
Modified DataFlowValues and DataflowSolver to associate dataflow value
by Ted Kremenek
· 17 years ago
e6148f3
Bug fix to merging of data flow values (merge incorrectly made values
by Ted Kremenek
· 17 years ago
a866f5d
Renamed file due to mispelling.
by Ted Kremenek
· 17 years ago
[Renamed from Analysis/UnintializedValues.cpp]
0a03ce6
UninitialuzedValues now only tracks BlockVarDecls; obviating false positives with
by Ted Kremenek
· 17 years ago
3871d8e
More progress on UnitializedValues checker. We now have preliminary support
by Ted Kremenek
· 17 years ago
334b30a
Split tracking of unitialized values for Decls and CFGBlock-level expressions.
by Ted Kremenek
· 17 years ago
3e03975
Removed "ObserverTy" from core DataflowValues types. The observer
by Ted Kremenek
· 17 years ago
7f49f50
Prototype implementation of new template-based dataflow solver.
by Ted Kremenek
· 17 years ago