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 [IA64] move defconfig to arch/ia64/configs/ 2008-03-04 14:19:06 -08:00
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 [IA64] export copy_page() to modules 2007-12-07 16:10:19 -08:00
mm bootmem: replace node_boot_start in struct bootmem_data 2008-07-24 10:47:20 -07:00
oprofile Combine instrumentation menus in kernel/Kconfig.instrumentation 2007-10-19 11:53:54 -07:00
pci PCI: ia64: use generic pci_enable_resources() 2008-04-20 21:47:05 -07:00
scripts [IA64] don't assume that unwcheck.py is executable 2007-12-07 14:42:08 -08:00
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