[NFC] Surface the validation of FunctionPropertiesAnalysis
authorMircea Trofin <mtrofin@google.com>
Wed, 17 May 2023 22:59:18 +0000 (15:59 -0700)
committerMircea Trofin <mtrofin@google.com>
Mon, 22 May 2023 23:13:28 +0000 (16:13 -0700)
commit01c5ec3d6209875de05de94cd7923c4e462c3317
treede9931ba273aa946ab8619e519c72d6f299ca4eb
parent590eb76ba3cd668baee7d06940ad820e89f830c4
[NFC] Surface the validation of FunctionPropertiesAnalysis

Avoids relying on `assert` for some of the validation.

Differential Revision: https://reviews.llvm.org/D150827
llvm/include/llvm/Analysis/FunctionPropertiesAnalysis.h
llvm/lib/Analysis/FunctionPropertiesAnalysis.cpp
llvm/unittests/Analysis/FunctionPropertiesAnalysisTest.cpp