[all-commits] [llvm/llvm-project] d862f6: [clang][dataflow] Treat unions as structs.

[Dani Ferreira Franco Moura via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d862f66221de1463ee7c92fe2e78445edb30a601
      https://github.com/llvm/llvm-project/commit/d862f66221de1463ee7c92fe2e78445edb30a601
  Author: Dani Ferreira Franco Moura <danimoura at google.com>
  Date:   2023-01-03 (Tue, 03 Jan 2023)

  Changed paths:
    M clang/include/clang/Analysis/FlowSensitive/StorageLocation.h
    M clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
    M clang/lib/Analysis/FlowSensitive/Transfer.cpp
    M clang/unittests/Analysis/FlowSensitive/TransferTest.cpp

  Log Message:
  -----------
  [clang][dataflow] Treat unions as structs.

This is a straightfoward way to handle unions in dataflow analysis. Without this change, nullability verification crashes on files that contain unions.

Reviewed By: gribozavr2, ymandel

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