Add a todo

This commit is contained in:
Mael Rouxel-Labbé 2023-11-22 13:30:48 +01:00
parent e4f6695618
commit 22c2318a55
1 changed files with 3 additions and 0 deletions

View File

@ -1087,6 +1087,9 @@ private:
return false; return false;
#endif #endif
// @todo could avoid useless facet_status() calls by doing it after the zombie check
// for the unsorted priority queue, but AFAIR, it doesn't save noticeable time (and that
// increases the queue size).
const Facet_status status = facet_status(f); const Facet_status status = facet_status(f);
if(status == Facet_status::IRRELEVANT) if(status == Facet_status::IRRELEVANT)
return false; return false;