[all-commits] [llvm/llvm-project] 1e7329: [clang][dataflow] Model variables / fields / funcs...

[martinboehme via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1e7329cd79c53165f113edfe6a2ff06d12899632
      https://github.com/llvm/llvm-project/commit/1e7329cd79c53165f113edfe6a2ff06d12899632
  Author: Martin Braenne <mboehme at google.com>
  Date:   2023-07-04 (Tue, 04 Jul 2023)

  Changed paths:
    M clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
    M clang/unittests/Analysis/FlowSensitive/TransferTest.cpp

  Log Message:
  -----------
  [clang][dataflow] Model variables / fields / funcs used in default initializers.

The newly added test fails without the other changes in this patch.

Reviewed By: sammccall, gribozavr2

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


  Commit: 880f306226fcb97d85d422480954eb8765ff31c7
      https://github.com/llvm/llvm-project/commit/880f306226fcb97d85d422480954eb8765ff31c7
  Author: Martin Braenne <mboehme at google.com>
  Date:   2023-07-04 (Tue, 04 Jul 2023)

  Changed paths:
    M clang/unittests/Analysis/FlowSensitive/TransferTest.cpp

  Log Message:
  -----------
  [clang][dataflow] Add a test for a struct that is directly self-referential through a reference.

The ongoing migration to strict handling of value
categories (see https://discourse.llvm.org/t/70086) will change the way we
handle fields of reference type, and I want to put a test in place that makes
sure we continue to handle this special case correctly.

Depends On D154420

Reviewed By: gribozavr2, xazax.hun

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


Compare: https://github.com/llvm/llvm-project/compare/f8e59b09f42c...880f306226fc