Dear Dan Carpenter, > Hello Marek Vasut, > > The patch 6ae3a0876185: "ACER: Add support for accelerometer sensor" > from Jun 1, 2012, leads to the following Smatch warning: > drivers/platform/x86/acer-wmi.c:1886 acer_wmi_accel_destroy() > error: don't call input_free_device() after input_unregister_device() > > drivers/platform/x86/acer-wmi.c > 1883 static void acer_wmi_accel_destroy(void) > 1884 { > 1885 input_unregister_device(acer_wmi_accel_dev); > 1886 input_free_device(acer_wmi_accel_dev); > 1887 } > > It is a double free. I see, understood ... shall I submit subsequent patch? > regards, > dan carpenter Best regards, Marek Vasut -- To unsubscribe from this list: send the line "unsubscribe platform-driver-x86" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html