[all-commits] [llvm/llvm-project] efa7df: [Analyzer] Track RValue expressions

[Gabor Marton via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: efa7df1682c2859dabe3646ee7dc01e68629417f
      https://github.com/llvm/llvm-project/commit/efa7df1682c2859dabe3646ee7dc01e68629417f
  Author: Gabor Marton <gabor.marton at ericsson.com>
  Date:   2021-03-30 (Tue, 30 Mar 2021)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
    A clang/test/Analysis/division-by-zero-track-zero.c
    A clang/test/Analysis/division-by-zero-track-zero.cpp
    M clang/test/Analysis/nullptr.cpp

  Log Message:
  -----------
  [Analyzer] Track RValue expressions

It makes sense to track rvalue expressions in the case of special
concrete integer values. The most notable special value is zero (later
we may find other values). By tracking the origin of 0, we can provide a
better explanation for users e.g. in case of division by 0 warnings.
When the divisor is a product of a multiplication then now we can show
which operand (or both) was (were) zero and why.

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