[Presburger] Use std::optional in PresburgerRelation.cpp (NFC)
authorKazu Hirata <kazu@google.com>
Sat, 10 Dec 2022 18:22:11 +0000 (10:22 -0800)
committerKazu Hirata <kazu@google.com>
Sat, 10 Dec 2022 18:22:11 +0000 (10:22 -0800)
commitd7e503869521b47cf517ba7c2b50714f5299537f
treeba1748022aeddb73ad95322aea79b1d22d5e5455
parent100c386725c128ce10625b76bbed513464426e29
[Presburger] Use std::optional in PresburgerRelation.cpp (NFC)

This is part of an effort to migrate from llvm::Optional to
std::optional:

https://discourse.llvm.org/t/deprecating-llvm-optional-x-hasvalue-getvalue-getvalueor/63716
mlir/lib/Analysis/Presburger/PresburgerRelation.cpp