[all-commits] [llvm/llvm-project] 850062: [AA] Consider extractvalue and extractelement as e...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 850062cf498a7aa408e0ff071c4c52ad5c135355
      https://github.com/llvm/llvm-project/commit/850062cf498a7aa408e0ff071c4c52ad5c135355
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2025-02-19 (Wed, 19 Feb 2025)

  Changed paths:
    M llvm/lib/Analysis/AliasAnalysis.cpp
    M llvm/test/Analysis/BasicAA/escape-source-aggregate.ll

  Log Message:
  -----------
  [AA] Consider extractvalue and extractelement as escape sources (#127640)

CaptureTracking considers insertions into aggregates and vectors as
captures. As such, extractions from aggregates and vectors are escape
sources. A non-escaping identified local cannot alias with the result of
an extractvalue/extractelement.

Fixes https://github.com/llvm/llvm-project/issues/126670.



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