projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 124ef7f) | patch
[analyzer] CastValueChecker: Model castAs(), getAs()
authorCsaba Dabis <dabis.csaba98@gmail.com>
Fri, 9 Aug 2019 02:24:42 +0000 (02:24 +0000)
committerCsaba Dabis <dabis.csaba98@gmail.com>
Fri, 9 Aug 2019 02:24:42 +0000 (02:24 +0000)
commitcf229d575226ccae2742cda0708a9f981f71fdfb
treeb2d11fef53fc57c3b6f02eb39866d8d14c590a3btree | snapshot
parent124ef7fce40369a176a2d354a214bf62460b5446commit | diff
[analyzer] CastValueChecker: Model castAs(), getAs()

Summary: Thanks to Kristóf Umann for the great idea!

Reviewed By: NoQ

Differential Revision: https://reviews.llvm.org/D65889

llvm-svn: 368383
clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp diff | blob | history
clang/test/Analysis/cast-value.cpp diff | blob | history
Domain: System / Toolchain;