[all-commits] [llvm/llvm-project] 038c48: [TBAA] Emit distinct TBAA tags for pointers with d...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 038c48c1f41119d667fa55e17e040281378071f3
      https://github.com/llvm/llvm-project/commit/038c48c1f41119d667fa55e17e040281378071f3
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2024-07-12 (Fri, 12 Jul 2024)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/include/clang/Basic/CodeGenOptions.def
    M clang/include/clang/Driver/Options.td
    M clang/lib/CodeGen/CodeGenTBAA.cpp
    M clang/lib/Driver/ToolChains/Clang.cpp
    M clang/test/CodeGen/sanitize-metadata-nosanitize.c
    M clang/test/CodeGen/tbaa-pointers.c
    M clang/test/CodeGenCXX/attr-likelihood-iteration-stmt.cpp
    M clang/test/OpenMP/nvptx_target_parallel_reduction_codegen_tbaa_PR46146.cpp

  Log Message:
  -----------
  [TBAA] Emit distinct TBAA tags for pointers with different depths,types. (#76612)

This patch extends Clang's TBAA generation code to emit distinct tags
for incompatible pointer types.

Pointers with different element types are incompatible if the pointee
types are also incompatible (modulo sugar/modifiers).

Express this in TBAA by generating different tags for pointers based on
the pointer depth and pointee type. To get the TBAA tag for the pointee
type it uses getTypeInfoHelper on the pointee type.

(Moved from https://reviews.llvm.org/D122573)

PR: https://github.com/llvm/llvm-project/pull/76612



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