]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dbfa950) | patch
[analyzer; alternate edges] treat 'if' statements the same way we do as 'for' or...
authorTed Kremenek <kremenek@apple.com>
Fri, 17 May 2013 06:48:27 +0000 (06:48 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 17 May 2013 06:48:27 +0000 (06:48 +0000)
commita40983460cc3f8f583cd968ac2e4647dc30c83f5
tree6378f44859eed5865c0968a0b80e73d1a4fab980tree | snapshot
parentdbfa950abe0e55b173286a306ee620eff5f72ea8commit | diff
[analyzer; alternate edges] treat 'if' statements the same way we do as 'for' or 'while'.

This means adding an extra edge from the 'if' to the condition,
which aesthetically looks more pleasing.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@182079 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/BugReporter.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.