kernel_optimize_test/arch/ia64
Julia Lawall cab7a1eeeb KVM: ia64: Fix irq disabling leak in error handling code
There is a call to local_irq_restore in the normal exit case, so it would
seem that there should be one on an error return as well.

The semantic patch that finds this problem is as follows:
(http://www.emn.fr/x-info/coccinelle/)

// <smpl>
@@
expression l;
expression E,E1,E2;
@@

local_irq_save(l);
... when != local_irq_restore(l)
    when != spin_unlock_irqrestore(E,l)
    when any
    when strict
(
if (...) { ... when != local_irq_restore(l)
               when != spin_unlock_irqrestore(E1,l)
+   local_irq_restore(l);
    return ...;
}
|
if (...)
+   {local_irq_restore(l);
    return ...;
+   }
|
spin_unlock_irqrestore(E2,l);
|
local_irq_restore(l);
)
// </smpl>

Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Avi Kivity <avi@qumranet.com>
2008-07-27 11:35:32 +03:00
..
configs
dig
hp dma-mapping: add the device argument to dma_mapping_error() 2008-07-26 12:00:03 -07:00
ia32 flag parameters: pipe 2008-07-24 10:47:28 -07:00
kernel tracehook: wait_task_inactive 2008-07-26 12:00:09 -07:00
kvm KVM: ia64: Fix irq disabling leak in error handling code 2008-07-27 11:35:32 +03:00
lib
mm bootmem: replace node_boot_start in struct bootmem_data 2008-07-24 10:47:20 -07:00
oprofile
pci PCI: ia64: use generic pci_enable_resources() 2008-04-20 21:47:05 -07:00
scripts
sn dma-mapping: add the device argument to dma_mapping_error() 2008-07-26 12:00:03 -07:00
uv [IA64] Fix CONFIG_IA64_SGI_UV build error 2008-06-16 09:02:03 -07:00
install.sh
Kconfig [IA64] Remove experimental status of kdump 2008-07-17 11:29:46 -07:00
Kconfig.debug
Makefile Pull pvops into release branch 2008-07-17 10:53:37 -07:00
module.lds