diff options
| author | Ziqing Luo <ziqing@udel.edu> | 2025-03-11 10:23:03 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-11 10:23:03 -0700 |
| commit | 65016475084f6435dbf252997d53853c2bfdf9be (patch) | |
| tree | abad2b1f1ffc57a57cc621e272f0269397fdb0c9 /llvm/lib/Support/LockFileManager.cpp | |
| parent | f10a8706a1443dec834929dadcce837082df64b7 (diff) | |
| download | llvm-65016475084f6435dbf252997d53853c2bfdf9be.zip llvm-65016475084f6435dbf252997d53853c2bfdf9be.tar.gz llvm-65016475084f6435dbf252997d53853c2bfdf9be.tar.bz2 | |
[StaticAnalyzer] Relax the pre-condition of 'setsockopt' (#130683)
For the unix function
`int setsockopt(int, int, int, const void *, socklen_t);`, the last two
parameters represent a buffer and a size.
In case the size is zero, buffer can be null. Previously, the hard-coded
pre-condition requires the buffer to never be null, which can cause
false positives.
(rdar://146678142)
Diffstat (limited to 'llvm/lib/Support/LockFileManager.cpp')
0 files changed, 0 insertions, 0 deletions