Unprovable inequality involving (unsigned) -1 (#570) · Issues · pub / frama-c