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