Skip to content
Commit 042783f5 authored by Philip Reames's avatar Philip Reames Committed by Philip Reames
Browse files

[LFTR] Assert and simplify under assumption exit counts are integers [nfc] 

This invariant was introduced in 8f3d1690.

Differential Revision: https://reviews.llvm.org/D146470
parent 392d9eb0
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment