[all-commits] [llvm/llvm-project] 2a3723: [memtag] Plug in stack safety analysis.

[Evgenii Stepanov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 2a3723ef114d467179d463539dd73974b87ccf85
      https://github.com/llvm/llvm-project/commit/2a3723ef114d467179d463539dd73974b87ccf85
  Author: Evgenii Stepanov <eugenis at google.com>
  Date:   2020-03-16 (Mon, 16 Mar 2020)

  Changed paths:
    M clang/lib/CodeGen/BackendUtil.cpp
    A clang/test/Driver/memtag.c
    M llvm/include/llvm/Analysis/StackSafetyAnalysis.h
    M llvm/lib/Analysis/StackSafetyAnalysis.cpp
    M llvm/lib/Passes/PassRegistry.def
    M llvm/lib/Target/AArch64/AArch64StackTagging.cpp
    A llvm/test/Analysis/StackSafetyAnalysis/ipa-attr.ll
    M llvm/test/CodeGen/AArch64/stack-tagging.ll

  Log Message:
  -----------
  [memtag] Plug in stack safety analysis.

Summary:
Run StackSafetyAnalysis at the end of the IR pipeline and annotate
proven safe allocas with !stack-safe metadata. Do not instrument such
allocas in the AArch64StackTagging pass.

Reviewers: pcc, vitalybuka, ostannard

Reviewed By: vitalybuka

Subscribers: merge_guards_bot, kristof.beyls, hiraditya, cfe-commits, gilang, llvm-commits

Tags: #clang, #llvm

Differential Revision: https://reviews.llvm.org/D73513