On Sat, Nov 25, 2017 at 5:31 PM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > Examination of a pointer type doesn't examine the corresponding base type > (this base type maybe not yet be complete). > The examination of thz base type must thus be done later. > > However, in some cases (maybe only when typeof() is involved) it's > possible to call evaluate_dereference() while the base type is still > unexamined. > > Fix this by adding the missing examine_symbol_type() on the base type. The changes looks fine to me. Will this show up as some thing easy pull-able for sparse master? Chris -- 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