HomePhabricator

[analyzer] CastValueChecker: Correctly model results of based-to-derived casts.

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

Description

[analyzer] CastValueChecker: Correctly model results of based-to-derived casts.

Our SVal hierarchy doesn't allow modeling pointer casts as no-op. The
pointer type is instead encoded into the pointer object. Defer to our
usual pointer casting facility, SValBuilder::evalBinOp().

Fixes a crash.

llvm-svn: 369729

Details

Committed
dergachev.aAug 22 2019, 8:24 PM
Parents
rG62a76d0ae349: [analyzer] CastValueChecker: Provide DynamicTypeMap with pointer types only.
Branches
Unknown
Tags
Unknown