aboutsummaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorJulia Lawall <julia@diku.dk>2010-02-06 09:43:03 +0100
committerMarcelo Tosatti <mtosatti@redhat.com>2010-03-01 12:36:07 -0300
commitc45b4fd416f5497b6b38dd70acc0e5b01399e5c9 (patch)
treebe641dac5be99156204405d5e8cb78765e015d61 /Documentation
parent16fbb5eecc4ab8d4eb4d2a683d7fd74ccacc890b (diff)
KVM: VMX: Remove redundant test in vmx_set_efer()
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/) // <smpl> @r@ expression *x; expression e; identifier l; @@ if (x == NULL || ...) { ... when forall return ...; } ... when != goto l; when != x = e when != &x *x == NULL // </smpl> Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: Avi Kivity <avi@redhat.com>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions