Tag: c45b4fd416f5497b6b38dd70acc0e5b01399e5c9

KVM: VMX: Remove redundant test in vmx_set_efer()

Author: Julia Lawall <julia@diku.dk> msr was tested above, so the second test is not needed. A simplified version of the semantic match that finds this problem is as follows: (http://coccinelle.lip6.fr/) // @r@ expression *x; expression e; identifier l; @@ if (x == NULL || …) { … when forall return …; } … when != …

Continue reading