]> granicus.if.org Git - clang/commit
[Static Analyzer] Generics Checker: When an ObjC method returns a specialized object...
authorGabor Horvath <xazax.hun@gmail.com>
Wed, 16 Sep 2015 22:44:36 +0000 (22:44 +0000)
committerGabor Horvath <xazax.hun@gmail.com>
Wed, 16 Sep 2015 22:44:36 +0000 (22:44 +0000)
commit6df9416538198833f9d56a64228d23610d1f1e80
treec9bf5d43bb9916e0dd01aa90aeddcc4a09dbe8bf
parent440c44a96ab56806e40ee260f327fbeaea47b265
[Static Analyzer] Generics Checker: When an ObjC method returns a specialized object, track it properly.

Differential Revision: http://reviews.llvm.org/D12889

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