]> granicus.if.org Git - clang/commit
[analyzer] CastValueChecker: Provide DynamicTypeMap with pointer types only.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 23 Aug 2019 03:24:01 +0000 (03:24 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 23 Aug 2019 03:24:01 +0000 (03:24 +0000)
commit65d0c48d81b73c359f40f6c068bd89a8b91229ac
treed24e2444d66e1c3c98e1db30ee04be56ca7fbcda
parent622a812e81dd867825c2ba42d60167866664ece3
[analyzer] CastValueChecker: Provide DynamicTypeMap with pointer types only.

The idea to drop this requirement is good, but for now every other user
of DynamicTypeInfo expects pointer types.

Fixes a crash.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@369728 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/DynamicType.h
lib/StaticAnalyzer/Checkers/CastValueChecker.cpp
lib/StaticAnalyzer/Core/DynamicType.cpp
test/Analysis/cast-value-logic.cpp
test/Analysis/cast-value-state-dump.cpp