diff options
| -rw-r--r-- | support/tools/TableGen/FileParser.y | 7 | ||||
| -rw-r--r-- | utils/TableGen/FileParser.y | 7 |
2 files changed, 12 insertions, 2 deletions
diff --git a/support/tools/TableGen/FileParser.y b/support/tools/TableGen/FileParser.y index 7a374e178f..6ebcf7691b 100644 --- a/support/tools/TableGen/FileParser.y +++ b/support/tools/TableGen/FileParser.y @@ -432,7 +432,12 @@ ClassInst : CLASS ObjectBody { }; DefInst : DEF ObjectBody { - // TODO: If ObjectBody has template arguments, it's an error. + if (!$2->getTemplateArgs().empty()) { + err() << "Def '" << $2->getName() + << "' is not permitted to have template arguments!\n"; + abort(); + } + // If ObjectBody has template arguments, it's an error. if (Records.getDef($2->getName())) { err() << "Def '" << $2->getName() << "' already defined!\n"; abort(); diff --git a/utils/TableGen/FileParser.y b/utils/TableGen/FileParser.y index 7a374e178f..6ebcf7691b 100644 --- a/utils/TableGen/FileParser.y +++ b/utils/TableGen/FileParser.y @@ -432,7 +432,12 @@ ClassInst : CLASS ObjectBody { }; DefInst : DEF ObjectBody { - // TODO: If ObjectBody has template arguments, it's an error. + if (!$2->getTemplateArgs().empty()) { + err() << "Def '" << $2->getName() + << "' is not permitted to have template arguments!\n"; + abort(); + } + // If ObjectBody has template arguments, it's an error. if (Records.getDef($2->getName())) { err() << "Def '" << $2->getName() << "' already defined!\n"; abort(); |