diff options
author | Julia Lawall <Julia.Lawall@lip6.fr> | 2013-12-29 17:47:36 -0500 |
---|---|---|
committer | Matthew Garrett <matthew.garrett@nebula.com> | 2014-01-21 08:44:17 -0500 |
commit | b30bb89f0fb29502f573d01419391a1e2a4cc4f1 (patch) | |
tree | 7698fd123c24738df516325564cadca74997e559 | |
parent | 97f440c23f2b02fac8af0558cba9ca0bed603794 (diff) |
fujitsu-laptop: fix error return code
These functions mix the use of result and error. In acpi_fujitsu_add,
result does not seem useful; it would seem reasonable to propagate the
return value of acpi_bus_update_power in an error case. On the other hand,
in the case of acpi_fujitsu_hotkey_add, there is an initialization of
result that can lead to what looks like a failure case, but that does not
abort the function. The variable result is kept for this case.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
// <smpl>
(
if@p1 (\(ret < 0\|ret != 0\))
{ ... return ret; }
|
ret@p1 = 0
)
... when != ret = e1
when != &ret
*if(...)
{
... when != ret = e2
when forall
return ret;
}
// </smpl>
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Matthew Garrett <matthew.garrett@nebula.com>
-rw-r--r-- | drivers/platform/x86/fujitsu-laptop.c | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/drivers/platform/x86/fujitsu-laptop.c b/drivers/platform/x86/fujitsu-laptop.c index 9d30d69aa78f..be02bcc346d3 100644 --- a/drivers/platform/x86/fujitsu-laptop.c +++ b/drivers/platform/x86/fujitsu-laptop.c | |||
@@ -633,7 +633,6 @@ static struct dmi_system_id fujitsu_dmi_table[] = { | |||
633 | 633 | ||
634 | static int acpi_fujitsu_add(struct acpi_device *device) | 634 | static int acpi_fujitsu_add(struct acpi_device *device) |
635 | { | 635 | { |
636 | int result = 0; | ||
637 | int state = 0; | 636 | int state = 0; |
638 | struct input_dev *input; | 637 | struct input_dev *input; |
639 | int error; | 638 | int error; |
@@ -669,8 +668,8 @@ static int acpi_fujitsu_add(struct acpi_device *device) | |||
669 | if (error) | 668 | if (error) |
670 | goto err_free_input_dev; | 669 | goto err_free_input_dev; |
671 | 670 | ||
672 | result = acpi_bus_update_power(fujitsu->acpi_handle, &state); | 671 | error = acpi_bus_update_power(fujitsu->acpi_handle, &state); |
673 | if (result) { | 672 | if (error) { |
674 | pr_err("Error reading power state\n"); | 673 | pr_err("Error reading power state\n"); |
675 | goto err_unregister_input_dev; | 674 | goto err_unregister_input_dev; |
676 | } | 675 | } |
@@ -700,7 +699,7 @@ static int acpi_fujitsu_add(struct acpi_device *device) | |||
700 | fujitsu->max_brightness = FUJITSU_LCD_N_LEVELS; | 699 | fujitsu->max_brightness = FUJITSU_LCD_N_LEVELS; |
701 | get_lcd_level(); | 700 | get_lcd_level(); |
702 | 701 | ||
703 | return result; | 702 | return 0; |
704 | 703 | ||
705 | err_unregister_input_dev: | 704 | err_unregister_input_dev: |
706 | input_unregister_device(input); | 705 | input_unregister_device(input); |
@@ -708,7 +707,7 @@ err_unregister_input_dev: | |||
708 | err_free_input_dev: | 707 | err_free_input_dev: |
709 | input_free_device(input); | 708 | input_free_device(input); |
710 | err_stop: | 709 | err_stop: |
711 | return result; | 710 | return error; |
712 | } | 711 | } |
713 | 712 | ||
714 | static int acpi_fujitsu_remove(struct acpi_device *device) | 713 | static int acpi_fujitsu_remove(struct acpi_device *device) |
@@ -831,8 +830,8 @@ static int acpi_fujitsu_hotkey_add(struct acpi_device *device) | |||
831 | if (error) | 830 | if (error) |
832 | goto err_free_input_dev; | 831 | goto err_free_input_dev; |
833 | 832 | ||
834 | result = acpi_bus_update_power(fujitsu_hotkey->acpi_handle, &state); | 833 | error = acpi_bus_update_power(fujitsu_hotkey->acpi_handle, &state); |
835 | if (result) { | 834 | if (error) { |
836 | pr_err("Error reading power state\n"); | 835 | pr_err("Error reading power state\n"); |
837 | goto err_unregister_input_dev; | 836 | goto err_unregister_input_dev; |
838 | } | 837 | } |
@@ -907,7 +906,7 @@ err_free_input_dev: | |||
907 | err_free_fifo: | 906 | err_free_fifo: |
908 | kfifo_free(&fujitsu_hotkey->fifo); | 907 | kfifo_free(&fujitsu_hotkey->fifo); |
909 | err_stop: | 908 | err_stop: |
910 | return result; | 909 | return error; |
911 | } | 910 | } |
912 | 911 | ||
913 | static int acpi_fujitsu_hotkey_remove(struct acpi_device *device) | 912 | static int acpi_fujitsu_hotkey_remove(struct acpi_device *device) |