[all-commits] [llvm/llvm-project] cab91e: [clang][analyzer] Improve PointerSubChecker (#96501)

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

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

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

  Log Message:
  -----------
  [clang][analyzer] Improve PointerSubChecker (#96501)

The checker could report false positives if pointer arithmetic was done
on pointers to non-array data before pointer subtraction. Another
problem is fixed that could cause false positive if members of the same
structure but in different memory objects are subtracted.



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