On Mon, Feb 01, 2016 at 03:40:42AM +0100, Nicolai Stange wrote: > According to 6.6(9), the member access operators "." and "->" may be used > in the creation of address constants. > > Uses of both operators amount to the creation of EXPR_DEREF expressions > which are eventually fed into evaluate_offset() at evaluation. > > Make evaluate_offset() propagate any address constant flag of the object > containing the referenced member to the newly created pointer addition > expression. > Fine for me. Feel free to add Reviewed-by: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> -- 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