index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
StaticAnalyzer
/
Core
/
ExprEngineC.cpp
Age
Commit message (
Expand
)
Author
2013-04-15
[analyzer] Do not crash when processing binary "?:" in C++
Anna Zaks
2013-04-09
[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().
Jordan Rose
2013-03-29
Add static analyzer support for conditionally executing static initializers.
Ted Kremenek
2013-03-05
Silence a number of static analyzer warnings with assertions and such.
Jordan Rose
2013-02-23
Remove the CFGElement "Invalid" state.
David Blaikie
2013-02-22
Fix regression in modeling assignments of an address of a variable to itself....
Ted Kremenek
2013-02-21
Replace ProgramPoint llvm::cast support to be well-defined.
David Blaikie
2013-02-21
Replace CFGElement llvm::cast support to be well-defined.
David Blaikie
2013-02-20
Include llvm::Optional in clang/Basic/LLVM.h
David Blaikie
2013-02-20
Replace SVal llvm::cast support to be well-defined.
David Blaikie
2013-02-07
[analyzer] Remove redundant check as per Jordan's feedback.
Anna Zaks
2013-02-07
[analyzer] Don't reinitialize static globals more than once along a path
Anna Zaks
2013-01-20
Implement OpenCL event_t as Clang builtin type, including event_t related Ope...
Guy Benyei
2013-01-11
Refine analyzer's handling of unary '!' and floating types to not assert.
Ted Kremenek
2013-01-11
Correctly propagate uninitialized values within logical expressions.
Ted Kremenek
2012-12-01
Don't include Type.h in DeclarationName.h.
Benjamin Kramer
2012-11-28
Fix another false positive due to a CXX temporary object appearing in a C ini...
Ted Kremenek
2012-09-05
[analyzer] Fix a crash PR13762.
Anna Zaks
2012-09-01
[analyzer] Don't attempt to create a floating-point value of "1" for ++/--.
Jordan Rose
2012-08-31
Change the representation of builtin functions in the AST
Eli Friedman
2012-08-27
[analyzer] Inline constructors for any object with a trivial destructor.
Jordan Rose
2012-08-23
[analyzer] For now, treat pointers-to-members as non-null void * symbols.
Jordan Rose
2012-08-23
[analyzer] Handle UserDefinedConversion casts in C++.
Jordan Rose
2012-08-22
Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.
Ted Kremenek
2012-08-22
Rename 'getConjuredSymbol*' to 'conjureSymbol*'.
Ted Kremenek
2012-08-22
Remove Store::bindDecl() and Store::bindDeclWithNoInit(), and
Ted Kremenek
2012-08-20
[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.
Jordan Rose
2012-08-20
[analyzer] The result of && or || is always a 1 or 0.
Jordan Rose
2012-08-09
[analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base.
Jordan Rose
2012-08-06
[analyzer] Add a checker to manage dynamic type propagation.
Anna Zaks
2012-08-03
[analyzer] ObjC Inlining: Start tracking dynamic type info in the GDM
Anna Zaks
2012-07-26
Look at the preceding CFGBlock for the expression to load from in ExprEngine:...
Ted Kremenek
2012-07-26
[analyzer] Don't crash on array constructors and destructors.
Jordan Rose
2012-07-25
Update ExprEngine's handling of ternary operators to find the ternary expression
Ted Kremenek
2012-07-16
[analyzer] Handle new-expressions with initializers for scalars.
Jordan Rose
2012-07-16
Prevent unused-variable warning in optimized builds.
Daniel Jasper
2012-07-14
Refine CFG so that '&&' and '||' don't lead to extra confluence points when u...
Ted Kremenek
2012-07-10
[analyzer] Construct stack variables directly in their VarDecl.
Jordan Rose
2012-06-18
[analyzer] Add a comment: why we treat array compound literals as lvalues.
Jordan Rose
2012-06-16
[analyzer] Array CompoundLiteralExprs need to be treated like lvalues.
Jordan Rose
2012-06-12
Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."
Jordan Rose
2012-06-11
[analyzer] Treat LValueBitCasts like regular pointer bit casts.
Jordan Rose
2012-05-25
[analyzer] Don't crash on LValBitCast
Anna Zaks
2012-05-21
[analyzer] Bind UnknownVal to InitListExpr for unsupported types
Anna Zaks
2012-05-19
[analyzer] For locations, use isGLValue() instead of isLValue().
Anna Zaks
2012-05-04
Explicitly model capturing variables for blocks in the static analyzer. Fixe...
Ted Kremenek
2012-05-03
[analyzer] Conjure a symbol to ensure we can identify pointer arithmetic
Anna Zaks
2012-04-11
[analyzer] dynamic_cast Simplify null value generation.
Anna Zaks
2012-04-10
[analyzer] dynamic_cast: Better model cast from a reference.
Anna Zaks
2012-04-10
[analyzer] Add support for C++ dynamic_cast.
Anna Zaks
[next]