Update copyright to LGPL on all files
[dyninst.git] / testsuite / src / dyninst / test1_41.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
32 // $Id: test1_41.C,v 1.1 2008/10/30 19:19:37 legendre Exp $
33 /*
34  * #Name: test1_41
35  * #Desc: Tests whether we lose line information running a mutatee twice
36  * #Dep: 
37  * #Arch:
38  * #Notes:useAttach does not apply
39  */
40
41 #include "BPatch.h"
42 #include "BPatch_Vector.h"
43 #include "BPatch_thread.h"
44 #include "BPatch_snippet.h"
45 #include "BPatch_statement.h"
46
47 #include "test_lib.h"
48
49 #include "dyninst_comp.h"
50 class test1_41_Mutator : public DyninstMutator {
51   BPatch_exitType expectedSignal;
52   int debugPrint;
53   const int iterations;
54   char *pathname;
55   BPatch *bpatch;
56   
57   virtual bool hasCustomExecutionPath() { return true; }
58   virtual test_results_t setup(ParameterDict &param);
59   virtual test_results_t executeTest();
60
61 public:
62   test1_41_Mutator();
63 };
64 extern "C" DLLEXPORT  TestMutator *test1_41_factory() {
65   return new test1_41_Mutator();
66 }
67
68 test1_41_Mutator::test1_41_Mutator()
69   : expectedSignal(ExitedNormally), iterations(2) {
70   TestMutator();
71 }
72
73 // static int mutatorTest(char *pathname, BPatch *bpatch)
74 test_results_t test1_41_Mutator::executeTest() {
75    unsigned int n=0;
76    const char *child_argv[5];
77    child_argv[n++] = pathname;
78    if (debugPrint) child_argv[n++] = const_cast<char*>("-verbose");
79    child_argv[n++] = const_cast<char*>("-run");
80    child_argv[n++] = const_cast<char*>("test1_41"); // run test41 in mutatee
81    child_argv[n++] = NULL;
82
83    int counts[iterations];
84
85    // Run the mutatee twice, querying line info each time & store the info
86    for (n = 0; n < iterations; n++) {
87       dprintf("Starting \"%s\"\n", pathname);
88       BPatch_thread *thread = bpatch->createProcess(pathname, child_argv,
89                                                     NULL);
90       if (!thread) {
91          logerror("*ERROR*: unable to create handle for executable\n", n);
92          logerror("**Failed** test #41 (repeated line information)\n");
93          return FAILED;
94       }
95       dprintf("Mutatee started, pid=%d\n", n, thread->getPid());
96       registerPID(thread->getProcess()->getPid()); // register for cleanup
97
98       BPatch_image *image = thread->getImage();
99       if (!image) {
100          logerror("*ERROR*: unable to get image from thread\n");
101          logerror("**Failed** test #41 (repeated line information)\n");
102          return FAILED;
103       }
104       if (isMutateeFortran(image)) {
105          // This shouldn't happen..
106          thread->getProcess()->terminateExecution();
107          logerror("Skipped test #41 (repeated line information)\n");
108          return SKIPPED;
109       }
110
111       BPatch_module *module = image->findModule("test1_41_mutatee.c", true);
112       if (!module) {
113          module = image->findModule("solo_mutatee_boilerplate.c", true);
114          if (true) {
115             logerror("*ERROR*: unable to get module from image\n");
116             logerror("Looking for \"test1_41_solo_me.c\" or \"solo_mutatee_boilerplate.c\". Available modules:\n");
117             BPatch_Vector<BPatch_module *> *mods = image->getModules();
118             char buffer[512];
119             for (unsigned i = 0; i < mods->size(); i++) {
120                BPatch_module *mod = (*mods)[i];
121                char name[512];
122                mod->getName(name, 512);
123                sprintf(buffer, "\t%s\n",
124                        name);
125                logerror(buffer);
126             }
127                  }
128       }
129
130       if (!module) {
131                   fprintf(stderr, "%s[%d]:  could not find module solo_mutatee_boilerplate.c\n", FILE__, __LINE__);
132          // First try again for 'test1_41_solo_me.c'
133          module = image->findModule("test1_41_solo_me.c", true);
134          if (!module) {
135             logerror("*ERROR*: unable to get module from image\n");
136             logerror("Looking for \"test1_41_solo_me.c\" or \"solo_mutatee_boilerplate.c\". Available modules:\n");
137             BPatch_Vector<BPatch_module *> *mods = image->getModules();
138             char buffer[512];
139             for (unsigned i = 0; i < mods->size(); i++) {
140                BPatch_module *mod = (*mods)[i];
141                char name[512];
142                mod->getName(name, 512);
143                sprintf(buffer, "\t%s\n",
144                        name);
145                logerror(buffer);
146             }
147
148             logerror("**Failed** test #41 (repeated line information)\n");
149
150             return FAILED;
151          }
152       }
153
154       char buffer[16384]; // FIXME ugly magic number; No module name should be that long..
155       module->getName(buffer, sizeof(buffer));
156
157       BPatch_Vector<BPatch_statement> statements;
158       bool res = module->getStatements(statements);
159       if (!res) {
160          fprintf(stderr, "%s[%d]:  getStatements()\n", __FILE__, __LINE__);
161          return FAILED;
162       }
163
164       counts[n] = statements.size();
165       dprintf("Trial %d: found %d statements\n", n, statements.size());
166
167       thread->getProcess()->terminateExecution();
168    }
169
170    // Make sure we got the same info each time we ran the mutatee
171    int last_count = -1;
172    for (int i = 0; i < iterations; i++) {
173       if ((last_count >= 0) && (last_count != counts[i])) {
174          logerror("*ERROR*: statement counts didn't match: %d vs. %d\n", last_count, counts[i]);
175          logerror("**Failed** test #41 (repeated line information)\n");
176          return FAILED;
177       }
178       last_count = counts[i];
179    }
180
181    logerror("Passed test #41 (repeated line information)\n");
182    return PASSED;
183 }
184
185 // extern "C" TEST_DLL_EXPORT int test1_41_mutatorMAIN(ParameterDict &param)
186 test_results_t test1_41_Mutator::setup(ParameterDict &param) {
187    pathname = param["pathname"]->getString();
188    bpatch = (BPatch *)(param["bpatch"]->getPtr());
189    debugPrint = param["debugPrint"]->getInt();
190
191 #if defined (sparc_sun_solaris2_4_test)
192    // we use some unsafe type operations in the test cases.
193    bpatch->setTypeChecking(false);
194 #endif
195
196    return PASSED;
197 }