I pushed a fix for this.  Thanks.

http://repo.or.cz/smatch.git/commitdiff/e6f67e92f3a81e5f7a06e60b17477c77ec5ec287

regards,
dan carpenter

Reply via email to