sval: change the output back to the original for now
commit1c7bff1f4b944aa3cedb1c4f82a1100c09970e2b
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 2 Nov 2012 11:17:00 +0000 (2 14:17 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 2 Nov 2012 11:17:00 +0000 (2 14:17 +0300)
treea8adb3617b45d833a0eac57c562aedac84633fdd
parent35c0ebd34b1305dfc52cc0012095f449186acbbc
sval: change the output back to the original for now

Validation complains about the changes to the output.  For now change it
back to the original and worry about it at the end when all the
infrastructure is in place to do it right.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_estate.c
smatch_sval.c
validation/sm_implied11.c
validation/sm_implied12.c