Comparing a function pointer will NULL might raise incorrect warning (#1694) · Issues · pub / frama-c