To summarize, AdaCore wrote afl-gcc-pass.so.cc, working like existing afl-llvm-pass.so.cc. In my opinion, this provides a good example comparison of writing custom instrumentation pass for GCC and LLVM.