Investigating a stack state mismatch in Linux kernel

[Florian Weimer]

* Alexander Popov:

> Of course, there is a naive solution for this issue -- just skip stackleak
> instrumentation for acpi_duplicate_processor_id(). But it would be great to find
> out the reasons behind this compiler behavior. It might help to create a better
> solution.

Please show us the RTL dumps with both compilers, both before and after
the plugin pass.

Thanks,
Florian