[all-commits] [llvm/llvm-project] d90469: [Analysis] Ignore casts and unary ops for uninitia...

[Bill Wendling via All-commits]

  Branch: refs/heads/release/13.x
  Home:   https://github.com/llvm/llvm-project
  Commit: d904698b53e4f21a675d4ca0463843432ff4d590
      https://github.com/llvm/llvm-project/commit/d904698b53e4f21a675d4ca0463843432ff4d590
  Author: Bill Wendling <isanbard at gmail.com>
  Date:   2021-12-14 (Tue, 14 Dec 2021)

  Changed paths:
    M clang/lib/Analysis/UninitializedValues.cpp
    M clang/test/Analysis/uninit-asm-goto.cpp

  Log Message:
  -----------
  [Analysis] Ignore casts and unary ops for uninitialized values

A series of unary operators and casts may obscure the variable we're
trying to analyze. Ignore them for the uninitialized value analysis.
Other checks determine if the unary operators result in a valid l-value.

Link: https://github.com/ClangBuiltLinux/linux/issues/1521

Reviewed By: nickdesaulniers

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

(cherry picked from commit c4582a689c2c74e0635309979176c7ada086f066)