HomePhabricator

[analysis] Discard type qualifiers when casting values retrieved from the Store.

Authored by dergachev.a on Dec 17 2019, 2:49 PM.

Description

[analysis] Discard type qualifiers when casting values retrieved from the Store.

This canonicalizes the representation of unknown pointer symbols,
which reduces the overall confusion in pointer cast representation.

Patch by Vince Bridgers!

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