emscripten-fastcomp-clang/lib/StaticAnalyzer/Core, branch master

[analyzer; alternate arrows] don't increment the path iterator when we just deleted the next iterator.

2013-05-06T21:59:37Z

This is an optimization. It is possible that by deleting the next edge we will pattern match again at the current spot. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181256 91177308-0d34-0410-b5e6-96231b3b80d8

[analyzer] Remove now-unused bindCompoundLiteral helper function.

2013-05-06T16:48:26Z

The one user has been changed to use getLValue on the compound literal expression and then use the normal bindLoc to assign a value. No need to special case this in the StoreManager. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181214 91177308-0d34-0410-b5e6-96231b3b80d8

[analyzer] Handle CXXTemporaryObjectExprs in compound literals.

2013-05-06T16:48:20Z

This occurs because in C++11 the compound literal syntax can trigger a constructor call via list-initialization. That is, "Point{x, y}" and "(Point){x, y}" end up being equivalent. If this occurs, the inner CXXConstructExpr will have already handled the object construction; the CompoundLiteralExpr just needs to propagate that value forwards. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181213 91177308-0d34-0410-b5e6-96231b3b80d8

[analyzer;alternate edges] start experimenting with control flow "barriers" to prevent an edge being optimized away.

2013-05-04T01:13:22Z

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181088 91177308-0d34-0410-b5e6-96231b3b80d8

[analyzer;alternate edges] ignore parentheses when determining edge levels.

2013-05-04T01:13:12Z

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181087 91177308-0d34-0410-b5e6-96231b3b80d8

[analyzer; alternate edges] - eliminate unnecessary edges where between parents and subexpressions.

2013-05-04T01:13:08Z

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181086 91177308-0d34-0410-b5e6-96231b3b80d8

[analyzer; alternate edges] - merge control edges where we descend to a subexpression and pop back out.

2013-05-04T01:13:05Z

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181085 91177308-0d34-0410-b5e6-96231b3b80d8

[analyzer; alternate edges] prune edges whose end/begin locations have the same statement parents.

2013-05-04T01:13:01Z

This change required some minor changes to LocationContextMap to have it map from PathPieces to LocationContexts instead of PathDiagnosticCallPieces to LocationContexts. These changes are in the other diagnostic generation logic as well, but are functionally equivalent. Interestingly, this optimize requires delaying "cleanUpLocation()" until later; possibly after all edges have been optimized. This is because we need PathDiagnosticLocations to refer to the semantic entity (e.g. a statement) as long as possible. Raw source locations tell us nothing about the semantic relationship between two locations in a path. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181084 91177308-0d34-0410-b5e6-96231b3b80d8

[analyzer;alternate edges] - add in events (loop iterations, etc)

2013-05-04T01:12:55Z

These were being dropped due a transcription mistake from the original algorithm. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181083 91177308-0d34-0410-b5e6-96231b3b80d8

[analyzer] Start hacking up alternate control-flow edge generation. WIP. Not guaranteed to do anything useful yet.

2013-05-03T18:25:33Z

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181040 91177308-0d34-0410-b5e6-96231b3b80d8