[all-commits] [llvm/llvm-project] 650164: [StaticAnalyzer] Relax the pre-condition of 'setso...

[Ziqing Luo via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 65016475084f6435dbf252997d53853c2bfdf9be
      https://github.com/llvm/llvm-project/commit/65016475084f6435dbf252997d53853c2bfdf9be
  Author: Ziqing Luo <ziqing at udel.edu>
  Date:   2025-03-11 (Tue, 11 Mar 2025)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
    M clang/test/Analysis/std-c-library-functions-POSIX.c

  Log Message:
  -----------
  [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)



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