[all-commits] [llvm/llvm-project] db38cc: [analyzer] Make it a noop when initializing a fiel...

[Ziqing Luo via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: db38cc27bc61cf2d53bcac1203722853610aa073
      https://github.com/llvm/llvm-project/commit/db38cc27bc61cf2d53bcac1203722853610aa073
  Author: Ziqing Luo <ziqing at udel.edu>
  Date:   2025-05-07 (Wed, 07 May 2025)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
    A clang/test/Analysis/issue-137252.cpp

  Log Message:
  -----------
  [analyzer] Make it a noop when initializing a field of empty record (#138594)

Previously, Static Analyzer initializes empty type fields with zeroes.
This can cause problems when those fields have no unique addresses. For
example, https://github.com/llvm/llvm-project/issues/137252.

rdar://146753089



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications