smatch_capped: get_implied_max() does not implied capped
commitef2139b54c2d1594dbb379c23b7d3aa4bc3b7957
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 6 Mar 2013 10:36:38 +0000 (6 13:36 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 6 Mar 2013 10:36:38 +0000 (6 13:36 +0300)
tree2123cff155678f5a7b51151bd8cf7a045872cdee
parent31ebfd345ecfa30e087761b2c39bf73e6c055a08
smatch_capped: get_implied_max() does not implied capped

In the olden days get_implied_max() implied there was a cap but these days
get_implied_max() often returns s32max.  It meant we were missing a lot
of bugs.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_capped.c