From d4cd3da9f398080483b482e1aa5b07578697f438 Mon Sep 17 00:00:00 2001 From: Joel Brobecker Date: Tue, 28 Feb 2012 16:30:42 +0000 Subject: [PATCH] Fix ARI violation in ada_tasks_inferior_data_sniffer. This patch removes some variable assignments inside condition expressions. gdb/ChangeLog: * ada-tasks.c (ada_tasks_inferior_data_sniffer): Rework code to avoid variable assignments inside condition. --- gdb/ChangeLog | 6 ++++++ gdb/ada-tasks.c | 16 +++++++++------- 2 files changed, 15 insertions(+), 7 deletions(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 6fcb90f23bf..a4857b87b3f 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,9 @@ +2012-02-28 Joel Brobecker + + From Tristan Gingold . + * ada-tasks.c (ada_tasks_inferior_data_sniffer): Rework code to + avoid variable assignments inside condition. + 2012-02-28 Jan Kratochvil Fix static analysis issue found by cppcheck. diff --git a/gdb/ada-tasks.c b/gdb/ada-tasks.c index 4c0b66795c9..11ad2621e58 100644 --- a/gdb/ada-tasks.c +++ b/gdb/ada-tasks.c @@ -870,13 +870,15 @@ ada_tasks_inferior_data_sniffer (struct ada_tasks_inferior_data *data) { /* Validate. */ struct type *type = check_typedef (SYMBOL_TYPE (sym)); - struct type *eltype; - struct type *idxtype; - - if (TYPE_CODE (type) == TYPE_CODE_ARRAY - && (eltype = check_typedef (TYPE_TARGET_TYPE (type))) - && TYPE_CODE (eltype) == TYPE_CODE_PTR - && (idxtype = check_typedef (TYPE_INDEX_TYPE (type))) + struct type *eltype = NULL; + struct type *idxtype = NULL; + + if (TYPE_CODE (type) == TYPE_CODE_ARRAY) + eltype = check_typedef (TYPE_TARGET_TYPE (type)); + if (eltype != NULL + && TYPE_CODE (eltype) == TYPE_CODE_PTR) + idxtype = check_typedef (TYPE_INDEX_TYPE (type)); + if (idxtype != NULL && !TYPE_LOW_BOUND_UNDEFINED (idxtype) && !TYPE_HIGH_BOUND_UNDEFINED (idxtype)) { -- 2.30.2