spectre: silence some if (array[user_controlled_offset]) false positives
commit3d91ea93dbeee7a56791cfc637e7982ef99f61ed
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 19 Jul 2018 13:57:02 +0000 (19 16:57 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 19 Jul 2018 13:59:01 +0000 (19 16:59 +0300)
tree3ce3b96f09c415ade87db62099865310980be9b2
parent44eeafcf2d3e2b9d5638972e48b49381ac1b9192
spectre: silence some if (array[user_controlled_offset]) false positives

Apparently if you have code like:

if (x >= ARRAY_SIZE(foo))
return -EINVAL;
if (foo[x])
frob();

The if (foo[x]) can not be used for a spectre exploit.

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