]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4dd66d0) | patch
[Static Analyzer] General type checker based on dynamic type information.
authorGabor Horvath <xazax.hun@gmail.com>
Fri, 18 Sep 2015 21:15:37 +0000 (21:15 +0000)
committerGabor Horvath <xazax.hun@gmail.com>
Fri, 18 Sep 2015 21:15:37 +0000 (21:15 +0000)
commit807634dae39305a31b5a0f3f2cbce1e8c2137612
tree216de0c550a6fdb469799d79c5473bbbbf3ae0f3tree | snapshot
parent4dd66d070417d9411610051c458eef0693a1d751commit | diff
[Static Analyzer] General type checker based on dynamic type information.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@248041 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/CMakeLists.txt diff | blob | history
lib/StaticAnalyzer/Checkers/Checkers.td diff | blob | history
lib/StaticAnalyzer/Checkers/DynamicTypeChecker.cpp [new file with mode: 0644] blob
lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp diff | blob | history
test/Analysis/dynamic_type_check.m [new file with mode: 0644] blob
test/Analysis/generics.m diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.