[AliasAnalysis] Add missing FMRB_* enums.
authorEli Friedman <efriedma@quicinc.com>
Wed, 22 Jan 2020 00:51:17 +0000 (16:51 -0800)
committerEli Friedman <efriedma@quicinc.com>
Tue, 28 Jan 2020 23:47:08 +0000 (15:47 -0800)
commit2f6b9edfa8a2aa901ed35dc754ebc3e7c3cd2a33
treef27c4bb75f897eee6532d5054635fc206f8d7049
parent0d401fa36b532b7d766fd51368b9afb88ad46d1a
[AliasAnalysis] Add missing FMRB_* enums.

Previously, the enums didn't account for all the possible cases, which
could cause misleading results (particularly for a "switch" on
FunctionModRefBehavior).

Fixes regression in polly from recent patch to add writeonly to memset.

While I'm here, also fix a few dubious uses of the FMRB_* enum values.

Differential Revision: https://reviews.llvm.org/D73154
llvm/include/llvm/Analysis/AliasAnalysis.h
llvm/lib/Analysis/AliasAnalysis.cpp
llvm/lib/Analysis/BasicAliasAnalysis.cpp
llvm/lib/Transforms/Utils/InlineFunction.cpp
polly/lib/Analysis/ScopBuilder.cpp
polly/lib/Analysis/ScopDetection.cpp
polly/test/ScopInfo/memset_null.ll