[PATCH] D12973: [Static Analyzer] General type checker based on dynamic type information.

[Phabricator via cfe-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rL248041: [Static Analyzer] General type checker based on dynamic type information. (authored by xazax).

Changed prior to commit:
  http://reviews.llvm.org/D12973?vs=35099&id=35134#toc

Repository:
  rL LLVM

http://reviews.llvm.org/D12973

Files:
  cfe/trunk/lib/StaticAnalyzer/Checkers/CMakeLists.txt
  cfe/trunk/lib/StaticAnalyzer/Checkers/Checkers.td
  cfe/trunk/lib/StaticAnalyzer/Checkers/DynamicTypeChecker.cpp
  cfe/trunk/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
  cfe/trunk/test/Analysis/dynamic_type_check.m
  cfe/trunk/test/Analysis/generics.m

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12973.35134.patch
Type: text/x-patch
Size: 54600 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150918/ebfdc721/attachment-0001.bin>