HomePhabricator

[MLIR] PresburgerSet emptiness check: remove assertions that there are no…

Authored by arjunp on Mon, Apr 12, 10:31 AM.

Description

[MLIR] PresburgerSet emptiness check: remove assertions that there are no symbols

Symbols are now supported in the integer emptiness check. Remove some outdated assertions checking that there are no symbols.

Reviewed By: ftynse

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