On Sat, Feb 11, 2023, 14:37 Basile Starynkevitch <basile@starynkevitch.net>
wrote:

> Modifying the pass manager
> https://gcc.gnu.org/onlinedocs/gccint/Pass-manager.html#Pass-manager to
> use clock_gettime system call. See
> https://man7.org/linux/man-pages/man2/clock_gettime.2.html


Since we can now use c++11, std::chrono::high_resolution_clock::now() would
call that without being platform specific.