]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2fafd4) | patch
Fix regression in attribute 'nonnull' checking when a transition node
authorTed Kremenek <kremenek@apple.com>
Tue, 28 Jul 2009 19:24:31 +0000 (19:24 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 28 Jul 2009 19:24:31 +0000 (19:24 +0000)
commitbb977228e642e0d12365862a3838dd5005ef783b
tree6a92c55e8ae8a9d4e3d25fae1a86b73dfdad3b6dtree | snapshot
parentb2fafd4978166114c54748a73738d8b2c3a37e2bcommit | diff
Fix regression in attribute 'nonnull' checking when a transition node
was created but not added to the destination NodeSet.  This fixes PR 4630.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@77353 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/Checker.h diff | blob | history
lib/Analysis/GRExprEngineInternalChecks.cpp diff | blob | history
test/Analysis/uninit-vals-ps.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.