https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72657 --- Comment #1 from Ilya Enkovich <ienkovich at gcc dot gnu.org> --- Looks like it is caused by remained direct fndecl comparisons in checker code. Usage of chkp_gimple_call_builtin_p everywhere should fix it.