Update copyright to LGPL on all files
[dyninst.git] / testsuite / src / dyninst / test1_23_mutatee.c
1 /*
2  * Copyright (c) 1996-2009 Barton P. Miller
3  * 
4  * We provide the Paradyn Parallel Performance Tools (below
5  * described as "Paradyn") on an AS IS basis, and do not warrant its
6  * validity or performance.  We reserve the right to update, modify,
7  * or discontinue this software at any time.  We shall have no
8  * obligation to supply such updates or modifications or any other
9  * form of support to you.
10  * 
11  * By your use of Paradyn, you understand and agree that we (or any
12  * other person or entity with proprietary rights in Paradyn) are
13  * under no obligation to provide either maintenance services,
14  * update services, notices of latent defects, or correction of
15  * defects for Paradyn.
16  * 
17  * This library is free software; you can redistribute it and/or
18  * modify it under the terms of the GNU Lesser General Public
19  * License as published by the Free Software Foundation; either
20  * version 2.1 of the License, or (at your option) any later version.
21  * 
22  * This library is distributed in the hope that it will be useful,
23  * but WITHOUT ANY WARRANTY; without even the implied warranty of
24  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
25  * Lesser General Public License for more details.
26  * 
27  * You should have received a copy of the GNU Lesser General Public
28  * License along with this library; if not, write to the Free Software
29  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
30  */
31 #include "mutatee_util.h"
32
33 /* Externally accessed function prototypes.  These must have globally unique
34  * names.  I suggest following the pattern <testname>_<function>
35  */
36
37 void test1_23_call1();
38 void test1_23_call2();
39
40 /* Global variables accessed by the mutator.  These must have globally unique
41  * names.
42  */
43
44 int test1_23_shadowVariable1 = 2300010;
45 int test1_23_shadowVariable2 = 2300020;
46 int test1_23_globalVariable1 = 2300000;
47
48 /* Internally used function prototypes.  These should be declared with the
49  * keyword static so they don't interfere with other mutatees in the group.
50  */
51
52 static void verifyScalarValue23(const char *name, int a, int value);
53
54 /* Global variables used internally by the mutatee.  These should be declared
55  * with the keyword static so they don't interfere with other mutatees in the
56  * group.
57  */
58
59 static int globalShadowVariable23_1 = (int)0xdeadbeef;
60 static int globalShadowVariable23_2 = (int)0xdeadbeef;
61 static int test_failed = FALSE;
62
63 /* Function definitions follow */
64
65 /*
66  * Test #23 - local variables
67  */
68 int test1_23_mutatee() {
69 /* We don't support MIPS any more, so we don't need to check for it
70  * #if defined(mips_sgi_irix6_4_test)
71  *   logerror("Skipped test #23 (local variables)\n");
72  *   logerror("\t- not implemented on this platform\n");
73  *   passedTest[23] = TRUE;
74  * #else
75  */
76   int retval;
77
78   test1_23_call1();
79
80   if (!test_failed) {
81     logerror("Passed test #23 (local variables)\n");
82     test_passes(testname);
83     retval = 0; /* Test passed */
84   } else {
85     retval = -1; /* Test failed */
86   }
87   return retval;
88 /* #endif */
89 }
90
91 void verifyScalarValue23(const char *name, int a, int value)
92 {
93   if (!verifyScalarValue(name, a, value, "test1_23", "local variables")) {
94     test_failed = TRUE;
95   }
96 }
97
98 void test1_23_call2()
99 {
100     /* copy shadowed global variables to visible global variables to permit
101      *    checking their values
102      */
103     globalShadowVariable23_1 = test1_23_shadowVariable1;
104     globalShadowVariable23_2 = test1_23_shadowVariable2;
105 }
106
107 void test1_23_call1()
108 {
109     int localVariable23_1 = 2300019;
110     int test1_23_shadowVariable1 = 2300011;
111     int test1_23_shadowVariable2 = 2300021;
112
113     test1_23_call2();                   /* place to manipulate local variables */
114
115     /* passedTest[23] = TRUE; */
116
117     /* snippet didn't update local variable */
118     verifyScalarValue23("localVariable23_1", localVariable23_1, 2300001);
119
120     /* did snippet update shadow variable (in the global scope) */
121     verifyScalarValue23("globalShadowVariable23_1", globalShadowVariable23_1,
122         2300010);
123
124     /* did snippet correctly update shadow variable test1_23_call2 */
125     verifyScalarValue23("test1_23_shadowVariable1", test1_23_shadowVariable1, 2300012);
126
127     /* did snippet correctly update shadow variable via global
128        scope in test1_23_call2 */
129     verifyScalarValue23("test1_23_shadowVariable2", test1_23_shadowVariable2, 2300021);
130
131     /* did snippet correctly update shadow variable via global
132        scope in test1_23_call2 */
133     verifyScalarValue23("globalShadowVariable23_2", globalShadowVariable23_2,
134         2300023);
135
136     /* did snippet correctly read local variable in test1_23_call2 */
137     verifyScalarValue23("test1_23_globalVariable1", test1_23_globalVariable1, 2300001);
138     dprintf("Leaving test1_23_call1...\n");
139 }