intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-01-25 19:44:38 +08:00
Code Issues Packages Projects Releases Wiki Activity

Return an empty IntegerSet if the '(' is not parsed.

Browse Source 
PiperOrigin-RevId: 229198934
This commit is contained in:
River Riddle
2019-01-14 09:45:09 -08:00
committed by jpienaar
parent 791049fb34
commit a674ae8bbd
2 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
mlir/lib/Parser/Parser.cpp
View File

@@ -3157,9 +3157,10 @@ AffineExpr AffineParser::parseAffineConstraint(bool *isEq) {
///
IntegerSet AffineParser::parseIntegerSetConstraints(unsigned numDims,
unsigned numSymbols) {
if (parseToken(Token::l_paren,
"expected '(' at start of integer set constraint list"))
return IntegerSet();
parseToken(Token::l_paren,
"expected '(' at start of integer set constraint list");
SmallVector<AffineExpr, 4> constraints;
SmallVector<bool, 4> isEqs;
auto parseElt = [&]() -> ParseResult {

4
mlir/test/IR/invalid.mlir
View File

@@ -637,6 +637,10 @@ func @invalid_bound_map(%N : i32) {
return
}
// -----
#set0 = (i)[N, M] : )i >= 0) // expected-error {{expected '(' at start of integer set constraint list}}
// -----
#set0 = (i)[N] : (i >= 0, N - i >= 0)