* [PATCH v0] ACPICA: nsrepair: handle cases without a return value correctly
@ 2023-01-06 23:53 Daniil Tatianin
2023-01-11 20:14 ` Rafael J. Wysocki
0 siblings, 1 reply; 2+ messages in thread
From: Daniil Tatianin @ 2023-01-06 23:53 UTC (permalink / raw)
To: Robert Moore
Cc: Daniil Tatianin, Rafael J. Wysocki, Len Brown, linux-acpi, devel,
linux-kernel
Previously acpi_ns_simple_repair() would crash if expected_btypes
contained any combination of ACPI_RTYPE_NONE with a different type,
e.g | ACPI_RTYPE_INTEGER because of slightly incorrect logic in the
!return_object branch, which wouldn't return AE_AML_NO_RETURN_VALUE
for such cases.
Found by Linux Verification Center (linuxtesting.org) with the SVACE
static analysis tool.
Link: https://github.com/acpica/acpica/pull/811
Fixes: 61db45ca2163 ("ACPICA: Restore code that repairs NULL package elements in return values.")
Signed-off-by: Daniil Tatianin <d-tatianin@yandex-team.ru>
---
drivers/acpi/acpica/nsrepair.c | 12 +++++++-----
1 file changed, 7 insertions(+), 5 deletions(-)
diff --git a/drivers/acpi/acpica/nsrepair.c b/drivers/acpi/acpica/nsrepair.c
index 367fcd201f96..ec512e06a48e 100644
--- a/drivers/acpi/acpica/nsrepair.c
+++ b/drivers/acpi/acpica/nsrepair.c
@@ -181,8 +181,9 @@ acpi_ns_simple_repair(struct acpi_evaluate_info *info,
* Try to fix if there was no return object. Warning if failed to fix.
*/
if (!return_object) {
- if (expected_btypes && (!(expected_btypes & ACPI_RTYPE_NONE))) {
- if (package_index != ACPI_NOT_PACKAGE_ELEMENT) {
+ if (expected_btypes) {
+ if (!(expected_btypes & ACPI_RTYPE_NONE) &&
+ package_index != ACPI_NOT_PACKAGE_ELEMENT) {
ACPI_WARN_PREDEFINED((AE_INFO,
info->full_pathname,
ACPI_WARN_ALWAYS,
@@ -196,14 +197,15 @@ acpi_ns_simple_repair(struct acpi_evaluate_info *info,
if (ACPI_SUCCESS(status)) {
return (AE_OK); /* Repair was successful */
}
- } else {
+ }
+
+ if (expected_btypes != ACPI_RTYPE_NONE) {
ACPI_WARN_PREDEFINED((AE_INFO,
info->full_pathname,
ACPI_WARN_ALWAYS,
"Missing expected return value"));
+ return (AE_AML_NO_RETURN_VALUE);
}
-
- return (AE_AML_NO_RETURN_VALUE);
}
}
--
2.25.1
^ permalink raw reply related [flat|nested] 2+ messages in thread
* Re: [PATCH v0] ACPICA: nsrepair: handle cases without a return value correctly
2023-01-06 23:53 [PATCH v0] ACPICA: nsrepair: handle cases without a return value correctly Daniil Tatianin
@ 2023-01-11 20:14 ` Rafael J. Wysocki
0 siblings, 0 replies; 2+ messages in thread
From: Rafael J. Wysocki @ 2023-01-11 20:14 UTC (permalink / raw)
To: Daniil Tatianin
Cc: Robert Moore, Rafael J. Wysocki, Len Brown, linux-acpi, devel,
linux-kernel
On Sat, Jan 7, 2023 at 12:54 AM Daniil Tatianin
<d-tatianin@yandex-team.ru> wrote:
>
> Previously acpi_ns_simple_repair() would crash if expected_btypes
> contained any combination of ACPI_RTYPE_NONE with a different type,
> e.g | ACPI_RTYPE_INTEGER because of slightly incorrect logic in the
> !return_object branch, which wouldn't return AE_AML_NO_RETURN_VALUE
> for such cases.
>
> Found by Linux Verification Center (linuxtesting.org) with the SVACE
> static analysis tool.
>
> Link: https://github.com/acpica/acpica/pull/811
> Fixes: 61db45ca2163 ("ACPICA: Restore code that repairs NULL package elements in return values.")
> Signed-off-by: Daniil Tatianin <d-tatianin@yandex-team.ru>
> ---
> drivers/acpi/acpica/nsrepair.c | 12 +++++++-----
> 1 file changed, 7 insertions(+), 5 deletions(-)
>
> diff --git a/drivers/acpi/acpica/nsrepair.c b/drivers/acpi/acpica/nsrepair.c
> index 367fcd201f96..ec512e06a48e 100644
> --- a/drivers/acpi/acpica/nsrepair.c
> +++ b/drivers/acpi/acpica/nsrepair.c
> @@ -181,8 +181,9 @@ acpi_ns_simple_repair(struct acpi_evaluate_info *info,
> * Try to fix if there was no return object. Warning if failed to fix.
> */
> if (!return_object) {
> - if (expected_btypes && (!(expected_btypes & ACPI_RTYPE_NONE))) {
> - if (package_index != ACPI_NOT_PACKAGE_ELEMENT) {
> + if (expected_btypes) {
> + if (!(expected_btypes & ACPI_RTYPE_NONE) &&
> + package_index != ACPI_NOT_PACKAGE_ELEMENT) {
> ACPI_WARN_PREDEFINED((AE_INFO,
> info->full_pathname,
> ACPI_WARN_ALWAYS,
> @@ -196,14 +197,15 @@ acpi_ns_simple_repair(struct acpi_evaluate_info *info,
> if (ACPI_SUCCESS(status)) {
> return (AE_OK); /* Repair was successful */
> }
> - } else {
> + }
> +
> + if (expected_btypes != ACPI_RTYPE_NONE) {
> ACPI_WARN_PREDEFINED((AE_INFO,
> info->full_pathname,
> ACPI_WARN_ALWAYS,
> "Missing expected return value"));
> + return (AE_AML_NO_RETURN_VALUE);
> }
> -
> - return (AE_AML_NO_RETURN_VALUE);
> }
> }
>
> --
Applied as 6.3 material, thanks!
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2023-01-11 20:15 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-06 23:53 [PATCH v0] ACPICA: nsrepair: handle cases without a return value correctly Daniil Tatianin
2023-01-11 20:14 ` Rafael J. Wysocki
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).