Re: [PATCH] Fix gdb.ada/watch_arg.exp test with always inserted and displaced stepping on

[Joel Brobecker <brobecker at adacore dot com>]

> The "problem" is that setting both always inserted and displaced
> stepping on, actually fixes PR7143.  That is, the test sets a
> watchpoint on X, and assumes that it does not trigger.  But, it
> actually should trigger.

Sometimes, I'm not sure what, if anything, goes through my brain...
You're right, of course.

> I notice that what the Foo procedure does is not really important,
> so an easy fix is to make Foo not touch X, thus we have the same
> behavior even if PR7143 is fixed.

I would rather make sure that X still gets referenced, to make sure
a smart tool/compiler/linker does not play games. Can you try the
attached?

-- 
Joel

commit 8a01a822c37a69ace62b15d733d61500eb4752fe
Author: Joel Brobecker <brobecker@adacore.com>
Date:   Tue Dec 6 11:29:39 2011 +0100

    fix incorrect assumption in gdb.ada/watch_arg
    
    The testcase is assuming that the parameter being watched isn't being
    modified. But the way the test program is written, this is not true
    at all.  So this changes fixes the code to still reference the variable,
    but in a way that does not modify its value.
    
    gdb/testsuite:
    
            * gdb.ada/watch_arg/pck.ads, gdb.ada/watch_arg/pck.adb: New files.
            * gdb.ada/watch_arg/watch.adb: Adjust code to avoid modification
            of parameter X in procedure Foo.

diff --git a/gdb/testsuite/gdb.ada/watch_arg/pck.adb b/gdb/testsuite/gdb.ada/watch_arg/pck.adb
new file mode 100644
index 0000000..a9c836b
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/watch_arg/pck.adb
@@ -0,0 +1,23 @@
+--  Copyright 2011 Free Software Foundation, Inc.
+--
+--  This program is free software; you can redistribute it and/or modify
+--  it under the terms of the GNU General Public License as published by
+--  the Free Software Foundation; either version 3 of the License, or
+--  (at your option) any later version.
+--
+--  This program is distributed in the hope that it will be useful,
+--  but WITHOUT ANY WARRANTY; without even the implied warranty of
+--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+--  GNU General Public License for more details.
+--
+--  You should have received a copy of the GNU General Public License
+--  along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+package body Pck is
+
+   procedure Do_Nothing (A : System.Address) is
+   begin
+      null;
+   end Do_Nothing;
+
+end Pck;
diff --git a/gdb/testsuite/gdb.ada/watch_arg/pck.ads b/gdb/testsuite/gdb.ada/watch_arg/pck.ads
new file mode 100644
index 0000000..f8a4ed5
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/watch_arg/pck.ads
@@ -0,0 +1,19 @@
+--  Copyright 2011 Free Software Foundation, Inc.
+--
+--  This program is free software; you can redistribute it and/or modify
+--  it under the terms of the GNU General Public License as published by
+--  the Free Software Foundation; either version 3 of the License, or
+--  (at your option) any later version.
+--
+--  This program is distributed in the hope that it will be useful,
+--  but WITHOUT ANY WARRANTY; without even the implied warranty of
+--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+--  GNU General Public License for more details.
+--
+--  You should have received a copy of the GNU General Public License
+--  along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+with System;
+package Pck is
+   procedure Do_Nothing (A : System.Address);
+end Pck;
diff --git a/gdb/testsuite/gdb.ada/watch_arg/watch.adb b/gdb/testsuite/gdb.ada/watch_arg/watch.adb
index d10e63d..d5e2c33 100644
--- a/gdb/testsuite/gdb.ada/watch_arg/watch.adb
+++ b/gdb/testsuite/gdb.ada/watch_arg/watch.adb
@@ -14,11 +14,14 @@
 --  You should have received a copy of the GNU General Public License
 --  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+with Pck; use Pck;
+
 procedure Watch is
 
    procedure Foo (X : in out Integer) is
    begin
-      X := 3;  -- BREAK1
+      --  Reference X in a way that does not change its value.
+      Do_Nothing (X'Address);  -- BREAK1
    end Foo;
 
    X : Integer := 1;