HomePhabricator

[analyzer] CastValueChecker: Avoid modeling casts between objects.

Authored by dergachev.a on Aug 22 2019, 8:23 PM.

Description

[analyzer] CastValueChecker: Avoid modeling casts between objects.

Our method only works correctly when casting a pointer to a pointer
or a reference to a reference.

Fixes a crash.

llvm-svn: 369727

Details

Committed
dergachev.aAug 22 2019, 8:23 PM
Parents
rG0900b77db27f: [analyzer] DynamicTypeInfo: Avoid putting null regions into dynamic typemap.
Branches
Unknown
Tags
Unknown