suggest to issue a warning on (<)-comparisons between pointers, unless both are non-null (#572) · Issues · pub / frama-c