diff options
author | Tedlion <813055098@qq.com> | 2025-07-03 14:42:10 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2025-07-03 08:42:10 +0200 |
commit | 6504c96b1d865c69888a2a17aa8fe479987c00f0 (patch) | |
tree | f536893b9dd292837f6dd1c0b291db8ee00a27cb /clang/lib/Interpreter/Interpreter.cpp | |
parent | 1f8f477bd03869a9b5b2e7ff0c24c74397aba486 (diff) | |
download | llvm-6504c96b1d865c69888a2a17aa8fe479987c00f0.zip llvm-6504c96b1d865c69888a2a17aa8fe479987c00f0.tar.gz llvm-6504c96b1d865c69888a2a17aa8fe479987c00f0.tar.bz2 |
[clang][analyzer] Fix the false positive ArgInitializedness warning on unnamed bit-field (#145066)
For the following code in C mode: https://godbolt.org/z/3eo1MeGhe
(There is no warning in C++ mode though).
```c++
struct B {
int i : 2;
int : 30; // unnamed bit-field
};
extern void consume_B(struct B);
void bitfield_B_init(void) {
struct B b1;
b1.i = 1; // b1 is initialized
consume_B(b1); // FP: Passed-by-value struct argument contains uninitialized data (e.g., field: '') [core.CallAndMessage]
}
```
Diffstat (limited to 'clang/lib/Interpreter/Interpreter.cpp')
0 files changed, 0 insertions, 0 deletions