[all-commits] [llvm/llvm-project] 6d3f43: [analysis] Discard type qualifiers when casting va...

[NoQ via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 6d3f43ec61a60c37963ee5f54289cf0759fb5d61
      https://github.com/llvm/llvm-project/commit/6d3f43ec61a60c37963ee5f54289cf0759fb5d61
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2019-12-17 (Tue, 17 Dec 2019)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/Store.cpp
    A clang/test/Analysis/uninit-val-const-likeness.c

  Log Message:
  -----------
  [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