[all-commits] [llvm/llvm-project] 01c5ec: [NFC] Surface the validation of FunctionProperties...

[Mircea Trofin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 01c5ec3d6209875de05de94cd7923c4e462c3317
      https://github.com/llvm/llvm-project/commit/01c5ec3d6209875de05de94cd7923c4e462c3317
  Author: Mircea Trofin <mtrofin at google.com>
  Date:   2023-05-22 (Mon, 22 May 2023)

  Changed paths:
    M llvm/include/llvm/Analysis/FunctionPropertiesAnalysis.h
    M llvm/lib/Analysis/FunctionPropertiesAnalysis.cpp
    M llvm/unittests/Analysis/FunctionPropertiesAnalysisTest.cpp

  Log Message:
  -----------
  [NFC] Surface the validation of FunctionPropertiesAnalysis

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

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