[all-commits] [llvm/llvm-project] 26224c: [clang][analyzer] Improved PointerSubChecker (#93676)

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

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 26224ca2de193dcfd21ede7a846c28ea892b77e3
      https://github.com/llvm/llvm-project/commit/26224ca2de193dcfd21ede7a846c28ea892b77e3
  Author: Balázs Kéri <balazs.keri at ericsson.com>
  Date:   2024-06-10 (Mon, 10 Jun 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/PointerSubChecker.cpp
    M clang/test/Analysis/casts.c
    A clang/test/Analysis/pointer-sub.c
    M clang/test/Analysis/ptr-arith.c

  Log Message:
  -----------
  [clang][analyzer] Improved PointerSubChecker (#93676)

The checker is made more exact
(only pointer into array is allowed, check array index)
and more tests are added.



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