-
Notifications
You must be signed in to change notification settings - Fork 167
Expand file tree
/
Copy pathCoverageTestExtension.cpp
More file actions
129 lines (116 loc) · 4.48 KB
/
CoverageTestExtension.cpp
File metadata and controls
129 lines (116 loc) · 4.48 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
// -*- mode: C++ -*-
//
// Copyright (c) 2008, 2009, 2010, 2011, 2015, 2017 The University of Utah
// All rights reserved.
//
// This file is part of `csmith', a random generator of C programs.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
// * Redistributions of source code must retain the above copyright notice,
// this list of conditions and the following disclaimer.
//
// * Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
// POSSIBILITY OF SUCH DAMAGE.
#include <config.h>
#include "Constant.h"
#include "CoverageTestExtension.h"
#include "ExtensionValue.h"
#include "Type.h"
#include <cassert>
using namespace std;
std::string CoverageTestExtension::array_base_name_ = "a";
std::string CoverageTestExtension::array_index_ = "test_index";
CoverageTestExtension::CoverageTestExtension(int inputs_size)
: inputs_size_(inputs_size) {
assert(inputs_size_ > 0);
}
CoverageTestExtension::~CoverageTestExtension() { values_.clear(); }
void CoverageTestExtension::GenerateValues() {
for (auto i = values_.begin(); i != values_.end(); ++i) {
const Type *type = (*i)->get_type();
for (int j = 0; j < inputs_size_; ++j) {
Constant *c = Constant::make_random(type);
test_values_.push_back(c);
}
}
}
void CoverageTestExtension::output_array_init(std::ostream &out, int count) {
if (inputs_size_ == 1) {
test_values_[count]->Output(out);
return;
}
int len = 0;
int last_index = inputs_size_ + count - 1;
for (int i = count; i < last_index; ++i) {
if ((len % 10) == 0) {
out << std::endl;
out << AbsExtension::tab_ << AbsExtension::tab_;
}
test_values_[i]->Output(out);
out << ", ";
len++;
}
if ((len % 10) == 0) {
out << std::endl;
out << AbsExtension::tab_ << AbsExtension::tab_;
}
test_values_[last_index]->Output(out);
}
void CoverageTestExtension::output_decls(std::ostream &out) {
AbsExtension::default_output_definitions(out, values_, false);
for (int count = 0; count < static_cast<int>(values_.size()); ++count) {
ExtensionValue *value = values_[count];
out << AbsExtension::tab_;
value->get_type()->Output(out);
out << " " << CoverageTestExtension::array_base_name_ << count;
out << "[" << inputs_size_ << "] = {";
output_array_init(out, count);
out << "};" << std::endl;
}
out << AbsExtension::tab_ << "int " << array_index_ << ";" << std::endl;
}
void CoverageTestExtension::OutputFirstFunInvocation(
std::ostream &out, FunctionInvocation *invoke) {
out << AbsExtension::tab_ << "for(" << array_index_ << " = 0; ";
out << array_index_ << " < " << inputs_size_ << "; " << array_index_
<< "++) {" << std::endl;
for (int count = 0; count < static_cast<int>(values_.size()); ++count) {
ExtensionValue *value = values_[count];
out << AbsExtension::tab_ << AbsExtension::tab_;
out << value->get_name() << " = ";
out << CoverageTestExtension::array_base_name_ << count;
out << "[" << array_index_ << "];" << std::endl;
}
assert(invoke);
out << AbsExtension::tab_ << AbsExtension::tab_;
invoke->Output(out);
out << ";" << std::endl;
out << AbsExtension::tab_ << "}" << std::endl;
}
void CoverageTestExtension::OutputInit(std::ostream &out) {
out << "int main(void)" << endl;
out << "{" << endl;
output_decls(out);
// output_array_init(out);
}
void CoverageTestExtension::OutputHeader(std::ostream &) {
// Nothing to do
}
void CoverageTestExtension::OutputTail(std::ostream &out) {
out << AbsExtension::tab_ << "return 0;" << endl;
}