On 17/03/18 17:35, Luc Van Oostenryck wrote: > make_usage() kill the corresponding instruction when the last > user have been removed. This is often desired but not always. > > Make a new version __remove_usage() taking a flag telling if This uses a 'reserved identifier' in C, so should be avoided. Perhaps, name it remove_usage_() instead. ATB, Ramsay Jones -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
