This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [testsuite patch] Fix false FAIL in stap-probe.exp
On Sunday, September 11 2016, Jan Kratochvil wrote:
> On Sun, 11 Sep 2016 19:43:41 +0200, Sergio Durigan Junior wrote:
>> Thanks for the patch. While it does fix the problem, I'd prefer a
>> "compiler-agnostic" patch. The problem is that m1 and m2 (the two
>> functions where probe 'two' is being defined) are exactly the same, so
>> they get optimized by GCC's ICF pass. Since the contents of each
>> function are irrelevant (as long as there's a probe 'two' inside them),
>> I think declaring a dummy variable in one of the functions (probably
>> volatile) would solve the issue. WDYT?
>
> The problem is there are tons of optimizations the compiler can do. If you
> change anything there the compiler can do partial inlining, tail calls etc.
Right, but if the compiler changes again then we'll have to go back and
change the test too, which means that we'll end up losing anyway.
> An unused dummy variable gets optimized out and so the problem remains.
No if we mark it as volatile and use it as the argument for one of the
probes.
> A dummy variable would need to have __attribute__((used)) but (1) for a reason
> unknown to me it does not work anyway
> gdb.base/stap-probe.c:56:2: warning: 'used' attribute ignored [-Wattributes]
> and besides that (2) __attribute__ is also not much "compiler-agnostic" IMO.
>
> My feeling from such cases is that if you try to outsmart the compiler the
> next version of compiler will outsmart you some other way again.
>
> Sure there are many ways to workaround it, I have proposed one of them.
> If you want a different one you can either submit a different patch or to be
> more specific how I should code the patch. But given you should test your
> idea first I guess it is more straighforward to just submit some other your
> patch if you do not like the patch of mine.
What do you think of the patch below?
--
Sergio
GPG key ID: 237A 54B1 0287 28BF 00EF 31F4 D0EB 7628 65FC 5E36
Please send encrypted e-mail if possible
http://sergiodj.net/
>From 3887cf94273288eeeb09b8dec41849422104e0d9 Mon Sep 17 00:00:00 2001
From: Sergio Durigan Junior <sergiodj@redhat.com>
Date: Sun, 11 Sep 2016 16:53:09 -0400
Subject: [PATCH] Fix false FAIL on gdb.base/stap-probe.exp, due to ICF
optimization
GCC 6's ICF optimization pass is making the declaration of 'm1' and
'm2', on gdb.base/stap-probe.c, to be unified. However, this leads to
only one instance of the probe 'two' being created, which causes a
failure on the testsuite (which expects a multi-location breakpoint to
be inserted on the probe).
This patch fixes this failure by declaring a dummy variable on 'm1',
and using it as an argument to m1's version of probe 'two'. Since we
do not care about the contents of the functions nor about the
arguments of each probe 'two', this is OK.
gdb/testsuite/ChangeLog:
2016-09-11 Sergio Durigan Junior <sergiodj@redhat.com>
Jan Kratochvil <jan.kratochvil@redhat.com>
* gdb.base/stap-probe.c (m1): New variable 'dummy', necessary to
make m1's definition to be different from m2's. Use 'dummy' as an
argument for probe 'two'.
---
gdb/testsuite/ChangeLog | 7 +++++++
gdb/testsuite/gdb.base/stap-probe.c | 7 ++++++-
2 files changed, 13 insertions(+), 1 deletion(-)
diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog
index 1ed9a21..c63ea72 100644
--- a/gdb/testsuite/ChangeLog
+++ b/gdb/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2016-09-11 Sergio Durigan Junior <sergiodj@redhat.com>
+ Jan Kratochvil <jan.kratochvil@redhat.com>
+
+ * gdb.base/stap-probe.c (m1): New variable 'dummy', necessary to
+ make m1's definition to be different from m2's. Use 'dummy' as an
+ argument for probe 'two'.
+
2016-09-10 Jon Beniston <jon@beniston.com>
* lib/mi-support.exp (mi_gdb_target_load): Use target_sim_options
diff --git a/gdb/testsuite/gdb.base/stap-probe.c b/gdb/testsuite/gdb.base/stap-probe.c
index b728548..5a77435 100644
--- a/gdb/testsuite/gdb.base/stap-probe.c
+++ b/gdb/testsuite/gdb.base/stap-probe.c
@@ -53,8 +53,13 @@ struct funcs
static void
m1 (void)
{
+ /* m1 and m2 are equivalent, but because of some compiler
+ optimizations we have to make each of them unique. This is why
+ we have this dummy variable here. */
+ volatile int dummy = 0;
+
if (TEST2)
- STAP_PROBE (test, two);
+ STAP_PROBE1 (test, two, dummy);
}
static void
--
2.7.4