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

[Bill Wendling via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c4582a689c2c74e0635309979176c7ada086f066
      https://github.com/llvm/llvm-project/commit/c4582a689c2c74e0635309979176c7ada086f066
  Author: Bill Wendling <isanbard at gmail.com>
  Date:   2021-12-07 (Tue, 07 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