| commit | 09d42ab0ffff0b8d49d6b29d35c69815c944bbe7 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 18 Jun 2012 14:32:38 +0000 (18 17:32 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 18 Jun 2012 14:32:38 +0000 (18 17:32 +0300) | ||
| tree | fd753969e85d4b27bcc17a394dd577f09b9d901e | treesnapshot (tar.gz zip) |
| parent | 89832c0baa9b88d63dc72fa5f1dbb0d9eb897502 | commitdiff |
flow: handle the __noreturn__ attribute
No return functions should nullify the path. Smatch already has
smatch_data/no_return_funcs but it would be better to remove that and
handle everything automatically.
Reported-by: KOSAKI Motohiro <kosaki.motohiro@gmail.com>
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
No return functions should nullify the path. Smatch already has
smatch_data/no_return_funcs but it would be better to remove that and
handle everything automatically.
Reported-by: KOSAKI Motohiro <kosaki.motohiro@gmail.com>
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_flow.c | diffblobblamehistory |