extra: if (unsigned >= unsigned) {: Always true if the right side is zero
[smatch.git] / smatch_data / kernel.allocation_funcs.remove
blobe69de29bb2d1d6434b8b29ae775ad8c2e48c5391