buf_size: merging two same size buffers give a same size buffer
commitb021ddceeca9e2dff891ee482e349878e3355b31
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 14 Sep 2012 12:35:27 +0000 (14 15:35 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 14 Sep 2012 12:35:27 +0000 (14 15:35 +0300)
treea4deddb5a614ea2d31031932de9a945fe1b5f627
parent480839f096285db4bb9206ef42273db312c161a0
buf_size: merging two same size buffers give a same size buffer

There a lot of functions which are always called with the same size buffer.
In the original code, we would merge them together giving an &undefined
state.

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