[all-commits] [llvm/llvm-project] c558b1: [analyzer] Fix calculating offset for fields with ...

[Georgiy Komarov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c558b1fca7350f4f4d8e7387fb2ead951284a5cf
      https://github.com/llvm/llvm-project/commit/c558b1fca7350f4f4d8e7387fb2ead951284a5cf
  Author: Georgy Komarov <jubnzv at gmail.com>
  Date:   2021-07-04 (Sun, 04 Jul 2021)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/PaddingChecker.cpp
    A clang/test/Analysis/padding_no_unique_address.cpp

  Log Message:
  -----------
  [analyzer] Fix calculating offset for fields with an empty type

Fix offset calculation routines in padding checker to avoid assertion
errors described in bugzilla issue 50426. The fields that are subojbects
of zero size, marked with [[no_unique_address]] or empty bitfields will
be excluded from padding calculation routines.

Reviewed By: NoQ

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