]> granicus.if.org Git - clang/commit
[analyzer] Fix crash in ObjCGenericsChecker
authorDevin Coughlin <dcoughlin@apple.com>
Wed, 11 May 2016 20:28:41 +0000 (20:28 +0000)
committerDevin Coughlin <dcoughlin@apple.com>
Wed, 11 May 2016 20:28:41 +0000 (20:28 +0000)
commitda822bb6244dfc205c1a7f617226ef0d26b352c9
tree873baed88fcb86bc22f534d9923ff537fa02cba5
parent73cb61ffbb185ec66c92b2365f8445fdeb74781b
[analyzer] Fix crash in ObjCGenericsChecker

Fix a crash in the generics checker where DynamicTypePropagation tries
to get the superclass of a root class.

This is a spot-fix for a deeper issue where the checker makes assumptions
that may not hold about subtyping between the symbolically-tracked type of
a value and the compile-time types of a cast on that value.

I've added a TODO to address the underlying issue.

rdar://problem/26086914

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@269227 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
test/Analysis/generics.m