[all-commits] [llvm/llvm-project] db69f1: [GlobalsAA] Restrict ModRef result if any internal...

[Alina Sbirlea via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: db69f1b22951ce49bda8e492ec8e6f60d9721668
      https://github.com/llvm/llvm-project/commit/db69f1b22951ce49bda8e492ec8e6f60d9721668
  Author: Alina Sbirlea <asbirlea at google.com>
  Date:   2019-11-12 (Tue, 12 Nov 2019)

  Changed paths:
    M llvm/include/llvm/Analysis/GlobalsModRef.h
    M llvm/lib/Analysis/GlobalsModRef.cpp
    A llvm/test/Analysis/GlobalsModRef/intrinsic_addressnottaken1.ll
    A llvm/test/Analysis/GlobalsModRef/intrinsic_addressnottaken2.ll
    A llvm/test/Analysis/GlobalsModRef/intrinsic_addresstaken.ll

  Log Message:
  -----------
  [GlobalsAA] Restrict ModRef result if any internal method has its address taken.

Summary:
If there are any internal methods whose address was taken, conclude there is nothing known in relation of any other internal method and a global.

Reviewers: nlopes, sanjoy.google

Subscribers: hiraditya, llvm-commits

Tags: #llvm

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