HomePhabricator

[analyzer] CastValueChecker: Model casts

Authored by Charusso on Jul 9 2019, 5:20 PM.

Description

[analyzer] CastValueChecker: Model casts

Summary:
It models the LLVM casts:

  • cast<>
  • dyn_cast<>
  • cast_or_null<>
  • dyn_cast_or_null<>

It has a very basic support without checking the classof() function.

(It reapplies the reverted 'llvm-svn: 365582' patch with proper test file.)

Reviewed By: NoQ

Tags: #clang

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

llvm-svn: 365585

Details

Committed
CharussoJul 9 2019, 5:20 PM
Reviewer
NoQ
Differential Revision
D64374: [analyzer] CastValueChecker: Model casts
Parents
rG6a29680efb0b: Revert "[analyzer] CastValueChecker: Model casts"
Branches
Unknown
Tags
Unknown