sval: type: fix get_type() for select statements
commitbdf15b7438eeef6c3692a6141f3bd2e896fc2365
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 9 Nov 2012 12:12:44 +0000 (9 15:12 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 9 Nov 2012 12:12:44 +0000 (9 15:12 +0300)
treef949827dc1f61267912966110203e412a59a4d69
parentd8bbfb6ee51f2b952f33287b759536fa6c4513bd
sval: type: fix get_type() for select statements

The type depends on if the statement is true or false.  If both sides are
the same, then we can return the type, otherwise we return NULL.

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