diff options
| author | Arjun P <arjunpitchanathan@gmail.com> | 2022-03-18 12:29:29 +0000 |
|---|---|---|
| committer | Arjun P <arjunpitchanathan@gmail.com> | 2022-03-22 13:11:56 +0000 |
| commit | 93ccd7c490ede05b5e8d004349c62d3eb9d032aa (patch) | |
| tree | 8272df3d7bb4ddc25aa65fdbe93a9968170d1a51 /clang/lib/Frontend/InitPreprocessor.cpp | |
| parent | 60820e53ec9d3be028ce315f9b630b55c670b32e (diff) | |
| download | llvm-93ccd7c490ede05b5e8d004349c62d3eb9d032aa.zip llvm-93ccd7c490ede05b5e8d004349c62d3eb9d032aa.tar.gz llvm-93ccd7c490ede05b5e8d004349c62d3eb9d032aa.tar.bz2 | |
[MLIR][Presburger] fix bug where Simplex::addZeroRow was not undoable
Previously, an UndoLogEntry was added by addRow but not by addZeroRow. So
calling directly into addZeroRow, as LexSimplex::addCut does, was not an
undoable operation. In the current usage of addCut this could never
lead to an incorrect result, and addZeroRow is protected, so it is not
currently possible to add a regression test for this. This bug needs to be
fixed for the symbolic integer lexmin algorithm.
Reviewed By: Groverkss
Differential Revision: https://reviews.llvm.org/D122162
Diffstat (limited to 'clang/lib/Frontend/InitPreprocessor.cpp')
0 files changed, 0 insertions, 0 deletions