]> granicus.if.org Git - clang/commit
[Static Analyzer] Use generics related information to infer dynamic types.
authorGabor Horvath <xazax.hun@gmail.com>
Fri, 18 Sep 2015 16:43:27 +0000 (16:43 +0000)
committerGabor Horvath <xazax.hun@gmail.com>
Fri, 18 Sep 2015 16:43:27 +0000 (16:43 +0000)
commit1755c87002e6cf04ed2b9df814b81ba07dae3b23
treee2070ce13935f5ce1d2bfa5ba3f7857ade8bbe62
parenta7cf4b860843a086e39fa5dd9a1b38db57f41018
[Static Analyzer] Use generics related information to infer dynamic types.

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

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