On 26 July 2010 17:08, Michael Stefaniuc mstefani@redhat.com wrote:
Works for me with the gcc 4.4.4 on F13 but it breaks with the old 3.1.1 gcc used by the old Smatch.
Well, it works with 4.4.3 on Gentoo for me as well... :-) just saying that you don't necessarily have to try very hard to break it.