[clang] [clang][analyzer] Fix the false positive ArgInitializedness warning on unnamed bit-field (PR #145066)

via cfe-commits cfe-commits at lists.llvm.org
Sat Jun 28 06:40:32 PDT 2025


Tedlion wrote:

@steakhal I've reverted my change in RegionStore.cpp, since now I realize it is more complicated than I thought. Considring the costum copy construction and direct memory operations(such as the memset), simply considering the unnamed bit-field is an UndefinedVal may be wrong , even though the UndefinedVal in my case. Thank you a lot for discussion. I may work on this afterwards, but leaving the RegionStore unchanged maybe the best choice now.

https://github.com/llvm/llvm-project/pull/145066


More information about the cfe-commits mailing list