nospec: turn off speculation at rmb(), smb_rmb() and barrier_nospec()
commit388f295618e44a437fe6ea867da0497fddf384ce
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 28 Aug 2018 13:01:12 +0000 (28 16:01 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 28 Aug 2018 13:01:12 +0000 (28 16:01 +0300)
tree97436c08e0bee1f88f8d816740f948c6ca9acdf8
parent3a4fddaaacb0857c475df29859b5af1933463e04
nospec: turn off speculation at rmb(), smb_rmb() and barrier_nospec()

These barriers disable speculation.

My one concern is that maybe the barrier is called from inside a macro and
then this code would miss the barrier.  Perhaps I should just look for the
fence instructions instead?

Reported-by: Darren Kenny <darren.kenny@oracle.com>
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
check_nospec.c
check_user_data2.c
smatch.h