Re: [PATCH 2/2] fix: evaluate_dereference() unexamined base type

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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



[Index of Archives]     [Newbies FAQ]     [LKML]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Trinity Fuzzer Tool]

  Powered by Linux