linux_dsm_epyc7002/drivers/firmware/tegra
Julia Lawall 1320f76897 firmware: tegra: adjust tested variable
Check the variable that was most recently initialized.

The semantic match that finds this problem is as follows:
(http://coccinelle.lip6.fr/)

// <smpl>
@@
expression x, y, f, g, e, m;
statement S1,S2,S3,S4;
@@

x = f(...);
if (\(<+...x...+>\&e\)) S1 else S2
(
x = g(...);
|
m = g(...,&x,...);
|
y = g(...);
*if (e)
 S3 else S4
)
// </smpl>

Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Reviewed-by: Mikko Perttunen <mperttunen@nvidia.com>
Signed-off-by: Thierry Reding <treding@nvidia.com>
2018-03-08 14:43:13 +01:00
..
bpmp-debugfs.c firmware: tegra: Add BPMP debugfs support 2017-10-19 16:27:56 +02:00
bpmp.c firmware: tegra: adjust tested variable 2018-03-08 14:43:13 +01:00
ivc.c locking/atomics, firmware/ivc: Convert ACCESS_ONCE() to READ_ONCE()/WRITE_ONCE() 2017-10-25 11:00:57 +02:00
Kconfig
Makefile firmware: tegra: Add BPMP debugfs support 2017-10-19 16:27:56 +02:00