repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: 8130b37) | patch
propagate: fall out from get_implied_min() changes
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 6 Feb 2013 08:54:20 +0000 (11:54 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 6 Feb 2013 08:54:20 +0000 (11:54 +0300)
commitf72d68bcbe42e265daf397e15a5b99d08c2bb46e
treeab42132f38f99326a2343f1ba37411e52e8b4b27tree | snapshot (tar.gz zip)
parent8130b37114148ff409386ab2d84e1a4faa2842ddcommit | diff
propagate: fall out from get_implied_min() changes

It used to be that if the min was s32min then get_implied_min() failed but
now we've changed that.  check_propaget.c needs to have its own check for
sval_is_min() instead.

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