On Mon, Nov 27, 2017 at 01:48:01AM +0800, Christopher Li wrote: > 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. But better to hold now for now. I *think* the change is correct but things are a bit muddy there and it triggers another, more annoying, bug. -- Luc -- 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