capped: multiplications can be capped
commitd122a814d7ca702f958a9792d440346af67b82ba
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 15 Jan 2016 12:40:08 +0000 (15 15:40 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 15 Jan 2016 12:40:08 +0000 (15 15:40 +0300)
tree09707b8de0dae2d33797edd4e85df9bca8840945
parent9edaa11865c055ee1988ffb5335bfe1d48202f3b
capped: multiplications can be capped

In the original code if you multiplied two capped values the result was
uncapped but now it's capped.

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