On 26 July 2010 17:08, Michael Stefaniuc <mstefani at 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.