| commit | a518e9abe63795317030ca5361de50fb8838cc22 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 25 Apr 2014 15:04:53 +0000 (25 18:04 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 25 Apr 2014 15:04:53 +0000 (25 18:04 +0300) | ||
| tree | a81216a3714e36b53e7dad10dda219eb8f80bc97 | treesnapshot (tar.gz zip) |
| parent | ef9ad7633ceb116dc4c5ad4743e92a5e4fd8ba20 | commitdiff |
flow: handle post op return statements like: return *x++;
Before smatch was complaining that the ++ operation wasn't reached. Then
I disabled that warning. But now I am also going to fix it so that smatch
knows the ++ is reachable.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Before smatch was complaining that the ++ operation wasn't reached. Then
I disabled that warning. But now I am also going to fix it so that smatch
knows the ++ is reachable.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_flow.c | diffblobblamehistory |