implied: remove some duplicate lines
commit1baae5d7eb768bcd9960289d4976fd54612b627d
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 11 Apr 2016 21:22:31 +0000 (12 00:22 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 11 Apr 2016 21:22:31 +0000 (12 00:22 +0300)
tree565021a3fd117efa713dbab3709e08d45c5c9b7a
parent95209b38f60c1982bcf35d4e7bae968b3e9f1327
implied: remove some duplicate lines

We set "ret->pool = sm->pool" on every path.

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