Update copyright to LGPL on all files
[dyninst.git] / testsuite / src / dyninst / test5_7.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: test5_7.C,v 1.1 2008/10/30 19:21:10 legendre Exp $
33 /*
34  * #Name: test5_7
35  * #Desc: Template
36  * #Dep: 
37  * #Arch: sparc_sun_solaris2_4_test,i386_unknown_linux2_0_test,x86_64_unknown_linux2_4_test,ia64_unknown_linux2_4_test
38  * #Notes:
39  */
40
41 #include "BPatch.h"
42 #include "BPatch_Vector.h"
43 #include "BPatch_thread.h"
44 #include "BPatch_snippet.h"
45
46 #include "test_lib.h"
47
48 #include "dyninst_comp.h"
49 class test5_7_Mutator : public DyninstMutator {
50 public:
51   virtual test_results_t executeTest();
52 };
53 extern "C" DLLEXPORT TestMutator *test5_7_factory() {
54   return new test5_7_Mutator();
55 }
56
57 //
58 // Start Test Case #7 - (template)
59 //
60 // static int mutatorTest(BPatch_thread *appThread, BPatch_image *appImage)
61 test_results_t test5_7_Mutator::executeTest() {
62   BPatch_Vector<BPatch_function *> bpfv;
63   char *fn2 = "template_test::func_cpp";
64   if (NULL == appImage->findFunction(fn2, bpfv) || !bpfv.size()
65       || NULL == bpfv[0]){
66     logerror("**Failed** test #7 (template)\n");
67     logerror("    Unable to find function %s\n", fn2);
68     return FAILED;
69   }
70   BPatch_function *f1 = bpfv[0];  
71   BPatch_Vector<BPatch_point *> *point7_1 = f1->findPoint(BPatch_subroutine);
72   assert(point7_1);
73
74    int index = 0;
75    int flag = 0;
76    BPatch_function *func;
77    int bound = point7_1->size();
78    BPatch_variableExpr *content7_1;
79    BPatch_variableExpr *content7_2;
80
81    while (index < bound) {
82      if ((func = (*point7_1)[index]->getCalledFunction()) == NULL) {
83         logerror("**Failed** test #7 (template)\n");
84         logerror("    Can't find the invoked function\n");
85         return FAILED;
86      }
87
88      char fn[256];
89      if (!strcmp("sample_template<int>::content", func->getName(fn, 256))) {
90          BPatch_Vector<BPatch_point *> *point7_2 = func->findPoint(BPatch_entry);
91          assert(point7_2);
92
93          content7_1 = appImage->findVariable(*(*point7_2)[0], "ret");
94          if (!content7_1) {
95             logerror("**Failed** test #7 (template)\n");
96             logerror("  Can't find local variable ret\n");
97             return FAILED;
98          }
99          flag++;
100      } else if (!strcmp("sample_template<char>::content", func->getName(fn, 256))) {
101        BPatch_Vector<BPatch_point *> *point7_3 = func->findPoint(BPatch_entry);
102        assert(point7_3);
103
104        content7_2 = appImage->findVariable(*(*point7_3)[0], "ret");
105        if (!content7_2) {
106          logerror("**Failed** test #7 (template)\n");
107          logerror("  Can't find local variable ret\n");
108          return FAILED;;
109        }
110        flag++;
111      }
112      index ++;
113   }
114
115   if (flag != 2) {
116      logerror("**Failed** test #7 (template)\n");
117      return FAILED;
118   }
119
120    BPatch_type *type7_0 = appImage->findType("int");
121    BPatch_type *type7_1 = const_cast<BPatch_type *> (content7_1->getType());
122    BPatch_type *type7_2 = appImage->findType("char");
123    BPatch_type *type7_3 = const_cast<BPatch_type *> (content7_2->getType());
124
125    if (!type7_0->isCompatible(type7_1)) {
126       logerror("**Failed** test #7 (template)\n");
127       logerror("    type7_0 reported as incompatibile with type7_1\n");
128       logerror("    '%s' reported as incompatibile with '%s'\n", type7_0->getName(), type7_1->getName());
129       logerror("    dataClasses: '%d'/ '%d', dataScalar = %d, dataUnknownType = %d\n", (int) type7_0->getDataClass(), (int)type7_1->getDataClass(), (int) BPatch_dataScalar, (int) BPatch_dataUnknownType);
130       return FAILED;;
131    }
132
133    if (!type7_2->isCompatible(type7_3)) {
134       logerror("**Failed** test #7 (template)\n");
135       logerror("    type7_2 reported as incompatibile with type7_3\n");
136       return FAILED;;
137    }
138    
139    bpfv.clear();
140    char *fn3 = "test5_7_passed";
141    if (NULL == appImage->findFunction(fn3, bpfv) || !bpfv.size()
142        || NULL == bpfv[0]){
143      logerror("**Failed** test #7 (template)\n");
144      logerror("    Unable to find function %s\n", fn3);
145      return FAILED;;
146    }
147    if (bpfv.size() > 1) {
148      logerror("WARNING:  found %d functions matching '%s'\n", bpfv.size(), fn3);
149    }
150    BPatch_function *call7_func = bpfv[0];  
151
152    BPatch_Vector<BPatch_point *> *point7_4 = f1->findPoint(BPatch_exit);
153    assert(point7_4);
154
155    BPatch_Vector<BPatch_snippet *> call7_args;
156    BPatch_funcCallExpr call7Expr(*call7_func, call7_args);
157
158    checkCost(call7Expr);
159    appAddrSpace->insertSnippet(call7Expr, *point7_4);
160    return PASSED;
161 }