Hi, as discussed in threads around [PATCH v2 1/2] compile: set debug compile: Display GCC driver filename https://sourceware.org/ml/gdb-patches/2015-04/msg00909.html [PATCH v3 2/2] compile: Add 'set compile-gcc' https://sourceware.org/ml/gdb-patches/2015-04/msg00915.html here is new libcc1 API proposal, before it gets (re)implemented and posted to GCC. Jan