Log - a19dc41bd408732d407d0152f67b389f7333db25 - fp2-dev/platform/external/clang

6f41608 [analyzer] Teach FindLastStoreBRVisitor to understand stores of the same value. by Jordan Rose · 12 years ago
a11f22f [analyzer] Turn on C++ constructor inlining by default. by Jordan Rose · 12 years ago
b7a3f74 [analyzer] Add stop-gap patch to prevent assertion failure when analyzing LLVM codebase. by Ted Kremenek · 12 years ago
deb8f5d [analyzer] If a struct has a partial lazy binding, its fields aren't Undef. by Jordan Rose · 12 years ago
4238f41 [analyzer] Use 'MemRegion::printPretty()' instead of assuming the region is a VarRegion. by Ted Kremenek · 12 years ago
eafb5c6 [analyzer] Don't look through casts when creating pointer temporaries. by Jordan Rose · 12 years ago
a0e6e6d [analyzer] StackAddrEscapeChecker: strip qualifiers from temporary types. by Jordan Rose · 12 years ago
db061e4 [analyzer] Restrict ObjC type inference to methods that have related result type. by Anna Zaks · 12 years ago
6f8e9b6 [analyzer] Recover all PreStmtPurgeDeadSymbols nodes with a single successor or predecessor. by Ted Kremenek · 12 years ago
42f2309 [analyzer] Address Jordan's code review of r175857. by Anna Zaks · 12 years ago
fbdbed3 [analyzer] Handle reference parameters with default values. by Jordan Rose · 12 years ago
6dc5c33 [analyzer] Base regions may be invalid when layered on symbolic regions. by Jordan Rose · 12 years ago
6c5038c [analyzer] Relax assumption in FindLastStoreBRVisitor that the thing we are looking for is always a VarRegion. by Ted Kremenek · 12 years ago
4e9c085 [analyzer] add the notion of an "interesting" lvalue expression for ExplodedNode pruning. by Ted Kremenek · 12 years ago
43b82b8 [analyzer] tracking stores/constraints now works for ObjC ivars or struct fields. by Ted Kremenek · 12 years ago
0dd15d7 Add "KnownSVal" to represent SVals that cannot be UnknownSVal. by Ted Kremenek · 12 years ago
b078054 Remove the CFGElement "Invalid" state. by David Blaikie · 12 years ago
ae7396c [analyzer] Don't canonicalize the RecordDecl used in CXXBaseObjectRegion. by Jordan Rose · 12 years ago
b04a238 [analyzer] Implement "Loop executed 0 times" diagnostic correctly. by Ted Kremenek · 12 years ago
8dadf15 [analyzer] Place all inlining policy checks into one palce by Anna Zaks · 12 years ago
5e5440b [analyzer] Make sure a materialized temporary matches its bindings. by Jordan Rose · 12 years ago
f08740b Fix regression in modeling assignments of an address of a variable to itself. Fixes <rdar://problem/13226577>. by Ted Kremenek · 12 years ago
87193da [analyzer] Fix buildbot by not reusing a variable name. by Jordan Rose · 12 years ago
9f1d541 [analyzer] Make sure a temporary object region matches its initial bindings. by Jordan Rose · 12 years ago
df1f94e Simplify code to use castAs rather than getAs + assert. by David Blaikie · 12 years ago
e130014 Add back implicitly dropped const. by David Blaikie · 12 years ago
7a95de6 Replace ProgramPoint llvm::cast support to be well-defined. by David Blaikie · 12 years ago
fdf6a27 Replace CFGElement llvm::cast support to be well-defined. by David Blaikie · 12 years ago
0adb175 Avoid implicit conversions of Optional<T> to bool. by David Blaikie · 12 years ago
6d35b41 StaticAnalyzer/Core: Suppress warnings. [-Wunused-variable, -Wunused-function] by NAKAMURA Takumi · 12 years ago
79741c4 Whitespace. by NAKAMURA Takumi · 12 years ago
4411b42 [analyzer] Record whether a base object region represents a virtual base. by Jordan Rose · 12 years ago
472b061 [analyzer] Tidy up a few uses of Optional in RegionStore. by Jordan Rose · 12 years ago
66874fb Use None rather than Optional<T>() where possible. by David Blaikie · 12 years ago
11f0cae [analyzer] Tighten up safety in the use of lazy bindings. by Jordan Rose · 12 years ago
dc84cd5 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 12 years ago
9e85b29 Remove redundant Optional type in favor of llvm::Optional by David Blaikie · 12 years ago
0b9c328 Use op-> directly rather than via Optional<T>::getPointer. by David Blaikie · 12 years ago
5251abe Replace SVal llvm::cast support to be well-defined. by David Blaikie · 12 years ago
206f499 [analyzer] Account for the "interesting values" hash table resizing. by Jordan Rose · 12 years ago
65f991c [analyzer] Don't accidentally strip off base object regions for lazy bindings. by Jordan Rose · 12 years ago
724cfee Disable dead stores checker for template instantations. Fixes <rdar://problem/13213575>. by Ted Kremenek · 12 years ago
ada0d22 [analyzer] Don't assert when mixing reinterpret_cast and derived-to-base casts. by Jordan Rose · 12 years ago
bc40386 Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind." by Jordan Rose · 12 years ago
28743b0 [analyzer] Cache the bindings accessible through a LazyCompoundVal. by Jordan Rose · 12 years ago
ef9e6d6 [analyzer] Scan the correct store when finding symbols in a LazyCompoundVal. by Jordan Rose · 12 years ago
fcfcd80 [analyzer] Tweak LazyCompoundVal reuse check to ignore qualifiers. by Jordan Rose · 12 years ago
0a0f130 [analyzer] Use collectSubRegionKeys to make removeDeadBindings faster. by Jordan Rose · 12 years ago
9d688e2 [analyzer] Refactor RegionStore's sub-region bindings traversal. by Jordan Rose · 12 years ago
cfaed8d objective-C: synthesize properties in order of their by Fariborz Jahanian · 12 years ago
697a685 [analyzer] Try constant-evaluation for all variables, not just globals. by Jordan Rose · 12 years ago
38f68ef [analyzer] Use Clang's evaluation for global constants and default arguments. by Jordan Rose · 12 years ago
04870ed [analyzer] Use makeZeroVal in RegionStore's lazy evaluation of statics. by Jordan Rose · 12 years ago
223f0ff Remove some stray uses of <ctype.h> functions. by Jordan Rose · 12 years ago
f07e815 clang/lib/StaticAnalyzer/Core/BugReporter.cpp: Appease old msvc in std::pair(0, 0). by NAKAMURA Takumi · 12 years ago
d523df6 [analyzer] Invalidation checker: move the "missing implementation" check by Anna Zaks · 12 years ago
adecec3 [analyzer] Move DefaultBool so that all checkers can share it. by Anna Zaks · 12 years ago
722cd9e [analyzer] Split IvarInvalidation into two checkers by Anna Zaks · 12 years ago
2b174c3 [analyzer] IvarInvalidation: refactor, pull out the diagnostic printing by Anna Zaks · 12 years ago
26db7db [analyzer] IvarInvalidation: add annotation for partial invalidation by Anna Zaks · 12 years ago
8185674 Teach BugReporter (extensive diagnostics) to emit a diagnostic when a loop body is skipped. by Ted Kremenek · 12 years ago
19df705 Remove stale instance variable. by Ted Kremenek · 12 years ago
8135886 [analyzer] Remove redundant check as per Jordan's feedback. by Anna Zaks · 12 years ago
1c32b81 [analyzer] Fix typo. by Anna Zaks · 12 years ago
118aa75 [analyzer] Report bugs when freeing memory with offset pointer by Anna Zaks · 12 years ago
233e26a [analyzer] Add pointer escape type param to checkPointerEscape callback by Anna Zaks · 12 years ago
2b68761 [analyzer] Don't reinitialize static globals more than once along a path by Anna Zaks · 12 years ago
b98c6fe [analyzer]Revert part of r161511; suppresses leak false positives in C++ by Anna Zaks · 12 years ago
5846720 Change subexpressions to be visited in the CFG from left-to-right. by Ted Kremenek · 12 years ago
beca02f [analyzer] Teach the analyzer to use a symbol for p when evaluating (void*)p. by Anna Zaks · 12 years ago
2a3fe34 Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind." by Jordan Rose · 12 years ago
453cb85 [analyzer] Always inline functions with bodies generated by BodyFarm. by Anna Zaks · 12 years ago
a5245a5 [analyzer] Print Inline mode with -analyzer-display-progress. by Anna Zaks · 12 years ago
135d0fe [analyzer] Fix typo. by Anna Zaks · 12 years ago
5500fc1 Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind." by Jordan Rose · 12 years ago
978aeac [analyzer] Reuse a LazyCompoundVal if its type matches the new region. by Jordan Rose · 12 years ago
0217b1d [analyzer]RetainCount: Fix an autorelease related false positive. by Anna Zaks · 12 years ago
e36d81b [analyzer] Don't track autorelease pools created by +new. by Jordan Rose · 12 years ago
33e83b6 Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind." by Jordan Rose · 12 years ago
0e450cb [analyzer] If a lazy binding is undefined, pretend that it's unknown instead. by Jordan Rose · 12 years ago
5255f27 [analyzer] Fix a bug in region store that lead to undefined value false by Anna Zaks · 12 years ago
ac3a3e7 [analyzer] Make shallow mode more shallow. by Anna Zaks · 12 years ago
6bbe144 [analyzer] Use analyzer config for max-inlinable-size option. by Anna Zaks · 12 years ago
86ff12c [analyzer] Move report false positive suppression to report visitors. by Anna Zaks · 12 years ago
ce32890 [analyzer] Remove further references to analyzer-ipa. by Anna Zaks · 12 years ago
baa7ca1 [analyzer] Model trivial copy/move ctors with an aggregate bind. by Jordan Rose · 12 years ago
07c52d2 [analyzer] C++ initializers may require cleanups; look through these. by Jordan Rose · 12 years ago
44ec3f0 [analyzer] Track null object lvalues back through C++ method calls. by Jordan Rose · 12 years ago
dede2fd [analyzer] bugreporter::getDerefExpr now takes a Stmt, not an ExplodedNode. by Jordan Rose · 12 years ago
aeca2cc [analyzer] Add 'prune-paths' config option to disable path pruning. by Jordan Rose · 12 years ago
7ee8906 [analyzer] Rename PruneNullReturnPaths to SuppressNullReturnPaths. by Jordan Rose · 12 years ago
d130140 [analyzer] Add "-analyzer-config mode=[deep|shallow] ". by Anna Zaks · 12 years ago
bfa9ab8 [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". by Anna Zaks · 12 years ago
73f0563 [analyzer] refactor: access IPAMode through the accessor. by Anna Zaks · 12 years ago
b33349e Add missing null check. Not sure why my tests passed before. by Ted Kremenek · 12 years ago
a5b6469 Honor attribute 'analyzer_noreturn' on Objective-C methods. by Ted Kremenek · 12 years ago
187f8bd [analyzer] Show notes inside implicit calls at the last explicit call site. by Jordan Rose · 12 years ago
e6b9d80 Implement OpenCL event_t as Clang builtin type, including event_t related OpenCL restrictions (OpenCL 1.2 spec 6.9) by Guy Benyei · 12 years ago
2b9de0b [analyzer] Don't show "Entered 'foo'" if 'foo' is implicit. by Jordan Rose · 12 years ago
1dfebd9 [analyzer] Suppress warnings coming out of macros defined in sys/queue.h by Anna Zaks · 12 years ago