admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Pipebox: improve an error message

Browse Source
This commit is contained in:
Ivan Krysak
2026-05-19 11:50:26 +00:00
committed by Pietro Fezzardi
parent 77affee259
commit b383c9a111
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
include/revng/PipeboxCommon/Helpers/Registrars.h
+4 -1
View File
@@ -189,7 +189,10 @@ struct RegisterPipe {
});
// Native
revng_assert(native::Registry.Pipes.count(T::Name) == 0);
if (native::Registry.Pipes.count(T::Name) != 0) {
std::string Error = "Duplicate pipes: '" + T::Name.str() + "'";
revng_abort(Error.c_str());
}
native::Registry.Pipes[T::Name] =
[](llvm::StringRef Config) -> std::unique_ptr<native::Pipe> {
return std::make_unique<native::PipeImpl<T>>(Config);