I pushed a fix for this. Thanks.http://repo.or.cz/smatch.git/commitdiff/e6f67e92f3a81e5f7a06e60b17477c77ec5ec287regards,dan carpenter