[Bug testsuite/87958] scan-tree-dump-times vs. (foo|bar)

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87958

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Ah, ok, thanks.  Perhaps we should just mention it in our scan-tree-dump-times
documentation and close then.