| commit | 1c3034a7b54bfa0ff14c4d33be284bc7637bc64f | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 20 Sep 2018 11:03:39 +0000 (20 14:03 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 20 Sep 2018 11:03:39 +0000 (20 14:03 +0300) | ||
| tree | 2bfd9d53f1196cf5d0517160078ae5bcdba38a77 | treesnapshot (tar.gz zip) |
| parent | 08078e8b2231c5760b5a0f17ad1476e9517ccbd2 | commitdiff |
no_spec: record when functions have a barrier
If the write barrier is inside a function, then we should record that and
mark things as nospec when the function is called.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
If the write barrier is inside a function, then we should record that and
mark things as nospec when the function is called.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_list.h | diffblobblamehistory | |
| check_nospec.c | diffblobblamehistory | |
| smatch.h | diffblobblamehistory |