[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] c++ features
splitting generated code up into multiple files that can be separately
compiled, to check that the behavior remains the same when whole
program optimization is used.
We did this, though I'm not sure the functionality is currently working or
even exposed to external users.
It found some early bugs in GCC's LTO but they tended to be relatively
shallow bugs that were going to get fixed anyway, so I never spent much
time doing this sort of testing.
In GCC at least, the optimizations that fire are link time are the same
ones that fire at module compilation time, so the opportunity for finding
extra bugs isn't that huge. LLVM operates the same way. If a compiler had
a totally separate whole-program mode, this would be more useful.