Comment 3 for bug 1851097

Hello Spyros,

thank you for taking the time to report this! Indeed Poppler does internally track search results using their bounding boxes the coordinates of which are floating point, so `-Ofast` could have the effect you described. Glad that you were able to figure this out!

Best regards,
Adam