From patchwork Thu Mar 26 21:00:14 2015 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Joel Brobecker X-Patchwork-Id: 5841 Received: (qmail 25782 invoked by alias); 26 Mar 2015 21:00:19 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Delivered-To: mailing list gdb-patches@sourceware.org Received: (qmail 25771 invoked by uid 89); 26 Mar 2015 21:00:19 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-0.8 required=5.0 tests=AWL, BAYES_00, LIKELY_SPAM_BODY autolearn=no version=3.3.2 X-HELO: rock.gnat.com Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA encrypted) ESMTPS; Thu, 26 Mar 2015 21:00:17 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id C07EA28377; Thu, 26 Mar 2015 17:00:15 -0400 (EDT) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id tX-uvKFxGdkZ; Thu, 26 Mar 2015 17:00:15 -0400 (EDT) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id 8BB7828373; Thu, 26 Mar 2015 17:00:15 -0400 (EDT) Received: by joel.gnat.com (Postfix, from userid 1000) id EA37240EAD; Thu, 26 Mar 2015 14:00:14 -0700 (PDT) Date: Thu, 26 Mar 2015 14:00:14 -0700 From: Joel Brobecker To: Sergio Durigan Junior Cc: "Jose E. Marchesi" , gdb-patches@sourceware.org Subject: Re: [PATCH V4 5/9] New probe type: DTrace USDT probes. Message-ID: <20150326210014.GC13867@adacore.com> References: <1422874968-382-1-git-send-email-jose.marchesi@oracle.com> <1422874968-382-6-git-send-email-jose.marchesi@oracle.com> <87r3tp722i.fsf@redhat.com> <20150325191418.GA32233@adacore.com> <87bnjfraq1.fsf@oracle.com> <20150326175028.GA13867@adacore.com> <20150326184350.GB13867@adacore.com> <87zj6zy4hr.fsf@redhat.com> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <87zj6zy4hr.fsf@redhat.com> User-Agent: Mutt/1.5.21 (2010-09-15) > >> > Well, the TRY..CATCH in your prototype would catch any error that may be > >> > thrown in parse_expression, and the `set_language' must take care of > >> > changing the language, so I would say that is enough... > >> > >> OK - I will send an updated patch that makes things a little cleaner. > >> I didn't know whether it was OK to default to type long makes much > >> sense when the probe says the parameter should be using type "mutex_t". > > I remember we had the same problem (i.e., not parsing using language_c) > on SystemTap SDT probes as well. Coincidentally or not, you triggered > the problem twice! The curse of using a cool language on exotic platforms :-). > > The problem occurs while trying to parse a probe's arguument, > > "argument" > > + if (current_language->la_language != language_c) > > + { > > + old_chain = make_cleanup_restore_current_language (); > > + set_language (language_c); > > + } > > Here I think you meant to use "lang" instead of "language_c", right? Duh... Thanks for reviewing the entire patch! Attached is what I just pushed. gdb/ChangeLog: * dtrace-probe.c (dtrace_process_dof_probe): Contain any exception raised while parsing the probe arguments. Force parsing to be done using the C language parser. * expression.h (parse_expression_with_language): Declare. * parse.c (parse_expression_with_language): New function. Tested on sparc-solaris and also on x86_64-linux, just for kicks. From 429e1e811b400f07b5a514ea6b8a70b28e2d7ee9 Mon Sep 17 00:00:00 2001 From: Joel Brobecker Date: Thu, 26 Mar 2015 19:14:03 +0100 Subject: [PATCH] dtrace-probe: Handle error while parsing probe argument. The debugger on Solaris has been broken since the introduction of DTrace probe support: (gdb) start Temporary breakpoint 1 at 0x80593bc: file simple_main.adb, line 4. Starting program: /[...]/simple_main [Thread debugging using libthread_db enabled] No definition of "mutex_t" in current context. The problem occurs while trying to parse a probe's argument, and the exception propagates all the way to the top. This patch fixes the issue by containing the exception and falling back on using the "long" builtin type if the argument's type could not be determined. Also, the parsing should be done using the C language parser. gdb/ChangeLog: * dtrace-probe.c (dtrace_process_dof_probe): Contain any exception raised while parsing the probe arguments. Force parsing to be done using the C language parser. * expression.h (parse_expression_with_language): Declare. * parse.c (parse_expression_with_language): New function. --- gdb/ChangeLog | 8 ++++++++ gdb/dtrace-probe.c | 14 ++++++++++++-- gdb/expression.h | 3 +++ gdb/parse.c | 22 ++++++++++++++++++++++ 4 files changed, 45 insertions(+), 2 deletions(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 70026d0..150b29a 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,11 @@ +2015-03-26 Joel Brobecker + + * dtrace-probe.c (dtrace_process_dof_probe): Contain any + exception raised while parsing the probe arguments. + Force parsing to be done using the C language parser. + * expression.h (parse_expression_with_language): Declare. + * parse.c (parse_expression_with_language): New function. + 2015-03-26 Jon Turney * MAINTAINERS (Write After Approval): Add "Jon Turney". diff --git a/gdb/dtrace-probe.c b/gdb/dtrace-probe.c index 491d853..ff7ce7d 100644 --- a/gdb/dtrace-probe.c +++ b/gdb/dtrace-probe.c @@ -427,8 +427,18 @@ dtrace_process_dof_probe (struct objfile *objfile, this does not work then we set the type to `long int'. */ arg.type = builtin_type (gdbarch)->builtin_long; - expr = parse_expression (arg.type_str); - if (expr->elts[0].opcode == OP_TYPE) + + TRY + { + expr = parse_expression_with_language (arg.type_str, language_c); + } + CATCH (ex, RETURN_MASK_ERROR) + { + expr = NULL; + } + END_CATCH + + if (expr != NULL && expr->elts[0].opcode == OP_TYPE) arg.type = expr->elts[1].type; VEC_safe_push (dtrace_probe_arg_s, ret->args, &arg); diff --git a/gdb/expression.h b/gdb/expression.h index 15ed354..6af8331 100644 --- a/gdb/expression.h +++ b/gdb/expression.h @@ -97,6 +97,9 @@ struct expression extern struct expression *parse_expression (const char *); +extern struct expression *parse_expression_with_language (const char *string, + enum language lang); + extern struct type *parse_expression_for_completion (const char *, char **, enum type_code *); diff --git a/gdb/parse.c b/gdb/parse.c index ec23dbb..6b59c4f 100644 --- a/gdb/parse.c +++ b/gdb/parse.c @@ -1268,6 +1268,28 @@ parse_expression (const char *string) return exp; } +/* Same as parse_expression, but using the given language (LANG) + to parse the expression. */ + +struct expression * +parse_expression_with_language (const char *string, enum language lang) +{ + struct cleanup *old_chain = NULL; + struct expression *expr; + + if (current_language->la_language != lang) + { + old_chain = make_cleanup_restore_current_language (); + set_language (lang); + } + + expr = parse_expression (string); + + if (old_chain != NULL) + do_cleanups (old_chain); + return expr; +} + /* Parse STRING as an expression. If parsing ends in the middle of a field reference, return the type of the left-hand-side of the reference; furthermore, if the parsing ends in the field name, -- 1.9.1