linux/scripts/gcc-plugins/sancov_plugin.c