This is a RFC for giving a type to constants/PSEUDO_VALs. Not having this info if fine for the linearization/simplification but is quite painful once trying to generate code of it. This serie try to do this by: - shuffling some fields in struct pseudo to allow PSEUDO_VAL to have the ::sym field too without without increasing the size of the structure. - mechanically initialize each PSEUDO_VAL's ::sym with the appropriate type. This serie have been tested on the test suite only. Thsi serie also doesn't make any use yet of this type info. Luc Van Oostenryck (4): be more careful with concat_user_list() make space for PSEUDO_VAL have a type add helper pseudo_type() give a type to PSEUDO_VALs flow.c | 5 +++-- linearize.c | 17 +++++++++-------- linearize.h | 24 +++++++++++++++++++++--- memops.c | 2 +- simplify.c | 18 +++++++++--------- 5 files changed, 43 insertions(+), 23 deletions(-) -- 2.11.1 -- 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
