[all-commits] [llvm/llvm-project] 069d3a: [Clang][counted_by] Correct signed counted_by valu...

[Bill Wendling via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 069d3aa923c7cd5ed0b9e550858a26e63c7ec940
      https://github.com/llvm/llvm-project/commit/069d3aa923c7cd5ed0b9e550858a26e63c7ec940
  Author: Bill Wendling <morbo at google.com>
  Date:   2025-12-10 (Wed, 10 Dec 2025)

  Changed paths:
    M clang/lib/CodeGen/CGExpr.cpp
    M clang/lib/CodeGen/CodeGenFunction.h
    M clang/test/CodeGen/attr-counted-by-for-pointers.c
    M clang/test/CodeGen/attr-counted-by.c
    M clang/test/DebugInfo/Generic/bounds-checking-debuginfo.c

  Log Message:
  -----------
  [Clang][counted_by] Correct signed counted_by values (#171260)

If the 'counted_by' value is signed, we will incorrectly allow accesses
when the value is negative. This has obvious bad effects as it will
allow accessing a huge swath of unallocated memory.

Also clarify and rearrange the parameters to make them more
perspicuous.

Fixes: #170987.



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