repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: bd25026) | patch
extra: type bug handling for loops
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 15 Mar 2013 19:36:37 +0000 (22:36 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 15 Mar 2013 19:36:37 +0000 (22:36 +0300)
commita0dda6ebd813e4171c570ed6c8c703f862e4fa9a
treefa1c8fe1eb66a46803dd4f7b12daafc2336b5e52tree | snapshot (tar.gz zip)
parentbd25026ed4d4ad427eabbb4be5605e9f2bcad9f0commit | diff
extra: type bug handling for loops

This code was using the type of the limiter in the for condition as the
type for the iterator.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_extra.c diff | blob | blame | history
Static analysis for C