On Tue, Feb 11, 2014 at 11:35:45AM +0100, Stephane Eranian wrote:
> On Tue, Feb 11, 2014 at 8:14 AM, Peter Zijlstra <pet...@infradead.org> wrote:
> >
> > That blows; how much is missing?
>
> They need to annotate load and stores. I asked for that feature a while ago.
> It will come.
And there is no way to deduce the information? We have type information
for all arguments and local variables, right? So we can follow that.
struct foo {
int ponies;
int moar_ponies;
};
struct bar {
int my_ponies;
struct foo *foo;
};
int moo(struct bar *bar)
{
return bar->foo->moar_ponies;
}
Since we have the argument type, we can find the type for both loads,
the first load:
*bar+8, we know is: struct foo * bar::foo
*foo+4, we know is: int foo::moar_ponies
Or am I missing something?
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
