[clang] Add Clang attribute to ensure that fields are initialized explicitly (PR #102040)

[Ilya Biryukov via cfe-commits]

https://github.com/ilya-biryukov commented:

See my comment about `VerifyOnly` and duplicate diagnostics.
The rest are small NITs.

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