]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9820eb) | patch
[analyzer] Treat the rvalue of a forward-declared struct as Unknown.
authorJordan Rose <jordan_rose@apple.com>
Fri, 30 Aug 2013 19:17:26 +0000 (19:17 +0000)
committerJordan Rose <jordan_rose@apple.com>
Fri, 30 Aug 2013 19:17:26 +0000 (19:17 +0000)
commitbf3d71e85f7449161a414c2ec3410e60394bf38a
tree113fe901cc668b6c266d7b805ba1268c559a314dtree | snapshot
parentc9820ebfeff30598ebd7369c5daf5bde10df934bcommit | diff
[analyzer] Treat the rvalue of a forward-declared struct as Unknown.

This will never happen in the analyzed code code, but can happen for checkers
that over-eagerly dereference pointers without checking that it's safe.
UnknownVal is a harmless enough value to get back.

Fixes an issue added in r189590, caught by our internal buildbot.

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