[all-commits] [llvm/llvm-project] 4f33e7: [analyzer] Report violations of the "returns_nonnu...

[Arseniy Zaostrovnykh via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4f33e7c683104ea72e013d4ddd104b711a25d620
      https://github.com/llvm/llvm-project/commit/4f33e7c683104ea72e013d4ddd104b711a25d620
  Author: Arseniy Zaostrovnykh <necto.ne at gmail.com>
  Date:   2024-08-27 (Tue, 27 Aug 2024)

  Changed paths:
    M clang/docs/analyzer/checkers.rst
    M clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
    M clang/test/Analysis/nullability.c
    M clang/test/Analysis/nullability.mm

  Log Message:
  -----------
  [analyzer] Report violations of the "returns_nonnull" attribute (#106048)

Make sure code respects the GNU-extension `__attribute__((returns_nonnull))`.

Extend the NullabilityChecker to check that a function returns_nonnull
does not return a nullptr.

This commit also reverts an old hack introduced by
49bd58f1ebe28d97e4949e9c757bc5dfd8b2d72f
because it is no longer needed

CPP-4741



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