[all-commits] [llvm/llvm-project] e60736: [clang][analyzer] Remove array bounds check from P...

[Balázs Kéri via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e607360fcde2994080bb8cec9d4be3a4091fe9a9
      https://github.com/llvm/llvm-project/commit/e607360fcde2994080bb8cec9d4be3a4091fe9a9
  Author: Balázs Kéri <balazs.keri at ericsson.com>
  Date:   2024-08-12 (Mon, 12 Aug 2024)

  Changed paths:
    M clang/docs/analyzer/checkers.rst
    M clang/lib/StaticAnalyzer/Checkers/PointerSubChecker.cpp
    M clang/test/Analysis/pointer-sub-notes.c
    M clang/test/Analysis/pointer-sub.c

  Log Message:
  -----------
  [clang][analyzer] Remove array bounds check from PointerSubChecker (#102580)

At pointer subtraction only pointers are allowed that point into an
array (or one after the end), this fact was checker by the checker. This
check is now removed because it is a special case of array indexing
error that is handled by different checkers (like ArrayBoundsV2).



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