I suspected that much. It would be good to have a libcilkrts/README.gcc describing the rules which changes can go into the gcc tree directly, which need to go upstream first, and how. libo and libsanitizer already have this.
Hi Rainer, It is mentioned under the "CONTRIBUTIONS" sections in the libcilkrts/README file :). Thanks, Balaji V. Iyer.