| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
|
|
|
|
|
| |
Also apply some new coding style.
llvm-svn: 120144
|
|
|
|
| |
llvm-svn: 120143
|
|
|
|
| |
llvm-svn: 120142
|
|
|
|
| |
llvm-svn: 120141
|
|
|
|
|
|
|
|
|
|
|
| |
to be consistent with the type of 'this' expr in the method.
此行及以下内容将会被忽略--
M test/Analysis/method-call.cpp
M include/clang/Checker/PathSensitive/GRExprEngine.h
M lib/Checker/GRCXXExprEngine.cpp
llvm-svn: 120094
|
|
|
|
|
|
| |
This is required for supporting const reference to temporary objects.
llvm-svn: 120093
|
|
|
|
|
|
| |
to remake the stackframe everytime in GRExprEngine::ProcessCallEnter().
llvm-svn: 120087
|
|
|
|
| |
llvm-svn: 120073
|
|
|
|
|
|
|
|
|
|
| |
ImmutableSet/ImmtuableMap/ImmutableList APIs.
Along the way, clean up some method names in
the static analyzer so that they are more
descriptive and/or start with lowercase letters.
llvm-svn: 120071
|
|
|
|
| |
llvm-svn: 119900
|
|
|
|
| |
llvm-svn: 119899
|
|
|
|
| |
llvm-svn: 119897
|
|
|
|
|
|
|
|
| |
keeping track
of the total number of warnings/errors reported.
llvm-svn: 119731
|
|
|
|
|
|
|
|
|
|
|
| |
-Move the stuff of Diagnostic related to creating/querying diagnostic IDs into a new DiagnosticIDs class.
-DiagnosticIDs can be shared among multiple Diagnostics for multiple translation units.
-The rest of the state in Diagnostic object is considered related and tied to one translation unit.
-Have Diagnostic point to the SourceManager that is related with. Diagnostic can now accept just a
SourceLocation instead of a FullSourceLoc.
-Reflect the changes to various interfaces.
llvm-svn: 119730
|
|
|
|
|
|
|
|
| |
CXXOperatorCallExpr represents method call.
Also fixed returning ExpolodedNodeSet from VisitCXXMethodCallExpr.
llvm-svn: 119684
|
|
|
|
|
|
| |
Will be used for CXXOperatorCallExpr that represents method call.
llvm-svn: 119567
|
|
|
|
| |
llvm-svn: 119491
|
|
|
|
| |
llvm-svn: 119480
|
|
|
|
| |
llvm-svn: 119477
|
|
|
|
|
|
| |
BasicStoreManager::getInitialStore.
llvm-svn: 119467
|
|
|
|
| |
llvm-svn: 119436
|
|
|
|
|
|
|
|
| |
allocation sizes of 0 bytes.
Fixes PR 2899.
llvm-svn: 119364
|
|
|
|
| |
llvm-svn: 119342
|
|
|
|
|
|
| |
instead of calculating it by hand.
llvm-svn: 119341
|
|
|
|
|
|
|
|
|
| |
- Add a new Kind of ProgramPoint: PostInitializer.
- Still use GRStmtNodeBuilder. But special handling PostInitializer in
GRStmtNodeBuilder::GenerateAutoTransition().
- Someday we should clean up the interface of GRStmtNodeBuilder.
llvm-svn: 119335
|
|
|
|
|
|
|
| |
- CXXThisRegion treated like VarRegion and ObjCIVarRegion in various places,
- Reference treated like pointer in BindDeclInternal.
llvm-svn: 119333
|
|
|
|
| |
llvm-svn: 119331
|
|
|
|
|
|
|
| |
certain internal type-checking procedures as well as for representing
certain implicitly-generated operations. Uses to follow.
llvm-svn: 119289
|
|
|
|
|
|
| |
flow. The contents are taken from email notes by kremenek and xuzhongxing.
llvm-svn: 119288
|
|
|
|
|
|
|
|
|
| |
via a function pointer that
casts the return value to something completely different. While we need better reasoning here,
we should definately not crash.
llvm-svn: 119177
|
|
|
|
| |
llvm-svn: 119138
|
|
|
|
| |
llvm-svn: 119135
|
|
|
|
|
|
|
|
|
|
| |
implicit conversions; the last batch was specific to promotions.
I think this is the full set we need. I do think dividing the cast
kinds into floating and integral is probably a good idea.
Annotate a *lot* more C casts with useful cast kinds.
llvm-svn: 119036
|
|
|
|
|
|
| |
between complex types.
llvm-svn: 118994
|
|
|
|
|
|
| |
BlockEdges, BlockEntrances, and BlockExits for the target block value.
llvm-svn: 118984
|
|
|
|
|
|
|
|
|
|
| |
remaining in the
worklist that could have impacted the evaluation of a block.
Fixes <rdar://problem/8663596>.
llvm-svn: 118983
|
|
|
|
|
|
|
|
|
| |
contents of a worklist.
This API required changing the BFS worklist to use a deque instead of a queue, but that is better
for performance reasons anyway.
llvm-svn: 118982
|
|
|
|
| |
llvm-svn: 118966
|
|
|
|
|
|
|
| |
SourceManager::getPresumedLoc(), so that we don't try to make use of
an invalid presumed location. Doing so can cause crashes.
llvm-svn: 118885
|
|
|
|
|
|
|
|
|
|
| |
addresses; instead return UnknownVal. This
leads it up to checkers (e.g., DereferenceChecker) to guard against illegal accesses (e.g., null dereferences).
Fixes PR 5272 and <rdar://problem/6839683>.
llvm-svn: 118852
|
|
|
|
|
|
| |
<rdar://problem/8642434>.
llvm-svn: 118473
|
|
|
|
| |
llvm-svn: 118414
|
|
|
|
|
|
| |
declaration names, from Jim Goodnow II!
llvm-svn: 117970
|
|
|
|
|
|
|
| |
Let the destination of AggExprVisitor be an explicit MemRegion.
Reenable the test case.
llvm-svn: 117908
|
|
|
|
|
|
| |
Clang PR 8426, 8427, & 8433. Reviewed by Ted Kremenek and Doug Gregor.
llvm-svn: 117853
|
|
|
|
|
|
|
|
| |
false positives).
Fixes <rdar://problem/8601243>.
llvm-svn: 117635
|
|
|
|
|
|
| |
<rdar://problem/8481311>.
llvm-svn: 117521
|
|
|
|
|
|
|
|
|
|
|
| |
variables. When invalidated, the entire
globals memory space gets assigned a symbolic value, but that value was not being used for lazy symbolication
of fields of globals. This could result in cases where bogus null dereferences were being reported.
Fixes PR 8440.
llvm-svn: 117336
|
|
|
|
| |
llvm-svn: 117335
|
|
|
|
|
|
| |
dereferences resulting from array accesses.
llvm-svn: 117334
|