|  | Commit message (Collapse) | Author | Age | Files | Lines | 
|---|
| | 
| 
| 
| 
| 
| 
| | CheckerContext::getPredecessor is only used to get to the LocationContext
half of the times.
llvm-svn: 143061 | 
| | 
| 
| 
| 
| 
| | Also document addTransition methods.
llvm-svn: 143059 | 
| | 
| 
| 
| 
| 
| 
| 
| | Get rid of the EndOfPathBuilder completely.
Use the generic NodeBuilder to generate nodes.
Enqueue the end of path frontier explicitly.
llvm-svn: 142943 | 
| | 
| 
| 
| 
| 
| 
| 
| | of a pointer.
Passing a pointer was a bad idea as it collides with the overload for void*.
llvm-svn: 141971 | 
| | 
| 
| 
| | llvm-svn: 140367 | 
| | 
| 
| 
| 
| 
| 
| 
| | Also convert stack-addr-ps.cpp to use the analyzer instead of just Sema, now
that it doesn't crash, and extract the stack-block test into another file since
it errors, and that prevents the analyzer from running.
llvm-svn: 138613 | 
| | 
| 
| 
| | llvm-svn: 138215 | 
| | 
| 
| 
| 
| 
| | functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME.
llvm-svn: 137894 | 
| | 
| 
| 
| | llvm-svn: 137665 | 
| | 
| 
| 
| 
| 
| | and libStaticAnalyzer[*].  It was highly inconsistent, and very ugly to look at.
llvm-svn: 137537 | 
| | 
| 
| 
| 
| 
| | SourceManager and FullSourceLoc.
llvm-svn: 135969 | 
| | 
| 
| 
| 
| 
| 
| 
| | LLVM.h imports
them into the clang namespace.
llvm-svn: 135852 | 
| | 
| 
| 
| 
| 
| 
| 
| 
| 
| | Language-design credit goes to a lot of people, but I particularly want
to single out Blaine Garst and Patrick Beard for their contributions.
Compiler implementation credit goes to Argyrios, Doug, Fariborz, and myself,
in no particular order.
llvm-svn: 133103 | 
| | 
| 
| 
| | llvm-svn: 126726 | 
|  | StackAddrEscapeChecker.
llvm-svn: 126522 |