repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: b0e645e) | patch
type: improve handling of type promotion on binary operations
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 9 Oct 2012 11:23:49 +0000 (14:23 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 9 Oct 2012 11:23:49 +0000 (14:23 +0300)
commite1a94b5687b78e6b906b37639e16647ae6024e56
tree829c5ec5eb689ad3e6e4eb282c3dae459e9dafc1tree | snapshot (tar.gz zip)
parentb0e645ef0517f0ab530d87dc30020fd13740557acommit | diff
type: improve handling of type promotion on binary operations

Arrays are handled specially.  If both types are smaller than ints then it
returns an int.  If they are larger it returns the one which is largest.

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