Coverage Report

Created: 2020-06-26 05:44

/home/arjun/llvm-project/llvm/utils/unittest/googletest/include/gtest/internal/gtest-internal.h
Line
Count
Source (jump to first uncovered line)
1
// Copyright 2005, Google Inc.
2
// All rights reserved.
3
//
4
// Redistribution and use in source and binary forms, with or without
5
// modification, are permitted provided that the following conditions are
6
// met:
7
//
8
//     * Redistributions of source code must retain the above copyright
9
// notice, this list of conditions and the following disclaimer.
10
//     * Redistributions in binary form must reproduce the above
11
// copyright notice, this list of conditions and the following disclaimer
12
// in the documentation and/or other materials provided with the
13
// distribution.
14
//     * Neither the name of Google Inc. nor the names of its
15
// contributors may be used to endorse or promote products derived from
16
// this software without specific prior written permission.
17
//
18
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
19
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
20
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
21
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
22
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
23
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
24
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
28
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29
//
30
// Authors: wan@google.com (Zhanyong Wan), eefacm@gmail.com (Sean Mcafee)
31
//
32
// The Google C++ Testing Framework (Google Test)
33
//
34
// This header file declares functions and macros used internally by
35
// Google Test.  They are subject to change without notice.
36
37
#ifndef GTEST_INCLUDE_GTEST_INTERNAL_GTEST_INTERNAL_H_
38
#define GTEST_INCLUDE_GTEST_INTERNAL_GTEST_INTERNAL_H_
39
40
#include "gtest/internal/gtest-port.h"
41
42
#if GTEST_OS_LINUX
43
# include <stdlib.h>
44
# include <sys/types.h>
45
# include <sys/wait.h>
46
# include <unistd.h>
47
#endif  // GTEST_OS_LINUX
48
49
#if GTEST_HAS_EXCEPTIONS
50
# include <stdexcept>
51
#endif
52
53
#include <ctype.h>
54
#include <float.h>
55
#include <string.h>
56
#include <iomanip>
57
#include <limits>
58
#include <map>
59
#include <set>
60
#include <string>
61
#include <vector>
62
63
#include "gtest/gtest-message.h"
64
#include "gtest/internal/gtest-string.h"
65
#include "gtest/internal/gtest-filepath.h"
66
#include "gtest/internal/gtest-type-util.h"
67
68
// Due to C++ preprocessor weirdness, we need double indirection to
69
// concatenate two tokens when one of them is __LINE__.  Writing
70
//
71
//   foo ## __LINE__
72
//
73
// will result in the token foo__LINE__, instead of foo followed by
74
// the current line number.  For more details, see
75
// http://www.parashift.com/c++-faq-lite/misc-technical-issues.html#faq-39.6
76
#define GTEST_CONCAT_TOKEN_(foo, bar) GTEST_CONCAT_TOKEN_IMPL_(foo, bar)
77
#define GTEST_CONCAT_TOKEN_IMPL_(foo, bar) foo ## bar
78
79
class ProtocolMessage;
80
namespace proto2 { class Message; }
81
82
namespace testing {
83
84
// Forward declarations.
85
86
class AssertionResult;                 // Result of an assertion.
87
class Message;                         // Represents a failure message.
88
class Test;                            // Represents a test.
89
class TestInfo;                        // Information about a test.
90
class TestPartResult;                  // Result of a test part.
91
class UnitTest;                        // A collection of test cases.
92
93
template <typename T>
94
::std::string PrintToString(const T& value);
95
96
namespace internal {
97
98
struct TraceInfo;                      // Information about a trace point.
99
class ScopedTrace;                     // Implements scoped trace.
100
class TestInfoImpl;                    // Opaque implementation of TestInfo
101
class UnitTestImpl;                    // Opaque implementation of UnitTest
102
103
// The text used in failure messages to indicate the start of the
104
// stack trace.
105
GTEST_API_ extern const char kStackTraceMarker[];
106
107
// Two overloaded helpers for checking at compile time whether an
108
// expression is a null pointer literal (i.e. NULL or any 0-valued
109
// compile-time integral constant).  Their return values have
110
// different sizes, so we can use sizeof() to test which version is
111
// picked by the compiler.  These helpers have no implementations, as
112
// we only need their signatures.
113
//
114
// Given IsNullLiteralHelper(x), the compiler will pick the first
115
// version if x can be implicitly converted to Secret*, and pick the
116
// second version otherwise.  Since Secret is a secret and incomplete
117
// type, the only expression a user can write that has type Secret* is
118
// a null pointer literal.  Therefore, we know that x is a null
119
// pointer literal if and only if the first version is picked by the
120
// compiler.
121
char IsNullLiteralHelper(Secret* p);
122
char (&IsNullLiteralHelper(...))[2];  // NOLINT
123
124
// A compile-time bool constant that is true if and only if x is a
125
// null pointer literal (i.e. NULL or any 0-valued compile-time
126
// integral constant).
127
#ifdef GTEST_ELLIPSIS_NEEDS_POD_
128
// We lose support for NULL detection where the compiler doesn't like
129
// passing non-POD classes through ellipsis (...).
130
# define GTEST_IS_NULL_LITERAL_(x) false
131
#else
132
# define GTEST_IS_NULL_LITERAL_(x) \
133
    (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
134
#endif  // GTEST_ELLIPSIS_NEEDS_POD_
135
136
// Appends the user-supplied message to the Google-Test-generated message.
137
GTEST_API_ std::string AppendUserMessage(
138
    const std::string& gtest_msg, const Message& user_msg);
139
140
#if GTEST_HAS_EXCEPTIONS
141
142
// This exception is thrown by (and only by) a failed Google Test
143
// assertion when GTEST_FLAG(throw_on_failure) is true (if exceptions
144
// are enabled).  We derive it from std::runtime_error, which is for
145
// errors presumably detectable only at run time.  Since
146
// std::runtime_error inherits from std::exception, many testing
147
// frameworks know how to extract and print the message inside it.
148
class GTEST_API_ GoogleTestFailureException : public ::std::runtime_error {
149
 public:
150
  explicit GoogleTestFailureException(const TestPartResult& failure);
151
};
152
153
#endif  // GTEST_HAS_EXCEPTIONS
154
155
// A helper class for creating scoped traces in user programs.
156
class GTEST_API_ ScopedTrace {
157
 public:
158
  // The c'tor pushes the given source file location and message onto
159
  // a trace stack maintained by Google Test.
160
  ScopedTrace(const char* file, int line, const Message& message);
161
162
  // The d'tor pops the info pushed by the c'tor.
163
  //
164
  // Note that the d'tor is not virtual in order to be efficient.
165
  // Don't inherit from ScopedTrace!
166
  ~ScopedTrace();
167
168
 private:
169
  GTEST_DISALLOW_COPY_AND_ASSIGN_(ScopedTrace);
170
} GTEST_ATTRIBUTE_UNUSED_;  // A ScopedTrace object does its job in its
171
                            // c'tor and d'tor.  Therefore it doesn't
172
                            // need to be used otherwise.
173
174
namespace edit_distance {
175
// Returns the optimal edits to go from 'left' to 'right'.
176
// All edits cost the same, with replace having lower priority than
177
// add/remove.
178
// Simple implementation of the Wagner–Fischer algorithm.
179
// See http://en.wikipedia.org/wiki/Wagner-Fischer_algorithm
180
enum EditType { kMatch, kAdd, kRemove, kReplace };
181
GTEST_API_ std::vector<EditType> CalculateOptimalEdits(
182
    const std::vector<size_t>& left, const std::vector<size_t>& right);
183
184
// Same as above, but the input is represented as strings.
185
GTEST_API_ std::vector<EditType> CalculateOptimalEdits(
186
    const std::vector<std::string>& left,
187
    const std::vector<std::string>& right);
188
189
// Create a diff of the input strings in Unified diff format.
190
GTEST_API_ std::string CreateUnifiedDiff(const std::vector<std::string>& left,
191
                                         const std::vector<std::string>& right,
192
                                         size_t context = 2);
193
194
}  // namespace edit_distance
195
196
// Calculate the diff between 'left' and 'right' and return it in unified diff
197
// format.
198
// If not null, stores in 'total_line_count' the total number of lines found
199
// in left + right.
200
GTEST_API_ std::string DiffStrings(const std::string& left,
201
                                   const std::string& right,
202
                                   size_t* total_line_count);
203
204
// Constructs and returns the message for an equality assertion
205
// (e.g. ASSERT_EQ, EXPECT_STREQ, etc) failure.
206
//
207
// The first four parameters are the expressions used in the assertion
208
// and their values, as strings.  For example, for ASSERT_EQ(foo, bar)
209
// where foo is 5 and bar is 6, we have:
210
//
211
//   expected_expression: "foo"
212
//   actual_expression:   "bar"
213
//   expected_value:      "5"
214
//   actual_value:        "6"
215
//
216
// The ignoring_case parameter is true iff the assertion is a
217
// *_STRCASEEQ*.  When it's true, the string " (ignoring case)" will
218
// be inserted into the message.
219
GTEST_API_ AssertionResult EqFailure(const char* expected_expression,
220
                                     const char* actual_expression,
221
                                     const std::string& expected_value,
222
                                     const std::string& actual_value,
223
                                     bool ignoring_case);
224
225
// Constructs a failure message for Boolean assertions such as EXPECT_TRUE.
226
GTEST_API_ std::string GetBoolAssertionFailureMessage(
227
    const AssertionResult& assertion_result,
228
    const char* expression_text,
229
    const char* actual_predicate_value,
230
    const char* expected_predicate_value);
231
232
// This template class represents an IEEE floating-point number
233
// (either single-precision or double-precision, depending on the
234
// template parameters).
235
//
236
// The purpose of this class is to do more sophisticated number
237
// comparison.  (Due to round-off error, etc, it's very unlikely that
238
// two floating-points will be equal exactly.  Hence a naive
239
// comparison by the == operation often doesn't work.)
240
//
241
// Format of IEEE floating-point:
242
//
243
//   The most-significant bit being the leftmost, an IEEE
244
//   floating-point looks like
245
//
246
//     sign_bit exponent_bits fraction_bits
247
//
248
//   Here, sign_bit is a single bit that designates the sign of the
249
//   number.
250
//
251
//   For float, there are 8 exponent bits and 23 fraction bits.
252
//
253
//   For double, there are 11 exponent bits and 52 fraction bits.
254
//
255
//   More details can be found at
256
//   http://en.wikipedia.org/wiki/IEEE_floating-point_standard.
257
//
258
// Template parameter:
259
//
260
//   RawType: the raw floating-point type (either float or double)
261
template <typename RawType>
262
class FloatingPoint {
263
 public:
264
  // Defines the unsigned integer type that has the same size as the
265
  // floating point number.
266
  typedef typename TypeWithSize<sizeof(RawType)>::UInt Bits;
267
268
  // Constants.
269
270
  // # of bits in a number.
271
  static const size_t kBitCount = 8*sizeof(RawType);
272
273
  // # of fraction bits in a number.
274
  static const size_t kFractionBitCount =
275
    std::numeric_limits<RawType>::digits - 1;
276
277
  // # of exponent bits in a number.
278
  static const size_t kExponentBitCount = kBitCount - 1 - kFractionBitCount;
279
280
  // The mask for the sign bit.
281
  static const Bits kSignBitMask = static_cast<Bits>(1) << (kBitCount - 1);
282
283
  // The mask for the fraction bits.
284
  static const Bits kFractionBitMask =
285
    ~static_cast<Bits>(0) >> (kExponentBitCount + 1);
286
287
  // The mask for the exponent bits.
288
  static const Bits kExponentBitMask = ~(kSignBitMask | kFractionBitMask);
289
290
  // How many ULP's (Units in the Last Place) we want to tolerate when
291
  // comparing two numbers.  The larger the value, the more error we
292
  // allow.  A 0 value means that two numbers must be exactly the same
293
  // to be considered equal.
294
  //
295
  // The maximum error of a single floating-point operation is 0.5
296
  // units in the last place.  On Intel CPU's, all floating-point
297
  // calculations are done with 80-bit precision, while double has 64
298
  // bits.  Therefore, 4 should be enough for ordinary use.
299
  //
300
  // See the following article for more details on ULP:
301
  // http://randomascii.wordpress.com/2012/02/25/comparing-floating-point-numbers-2012-edition/
302
  static const size_t kMaxUlps = 4;
303
304
  // Constructs a FloatingPoint from a raw floating-point number.
305
  //
306
  // On an Intel CPU, passing a non-normalized NAN (Not a Number)
307
  // around may change its bits, although the new value is guaranteed
308
  // to be also a NAN.  Therefore, don't expect this constructor to
309
  // preserve the bits in x when x is a NAN.
310
0
  explicit FloatingPoint(const RawType& x) { u_.value_ = x; }
Unexecuted instantiation: _ZN7testing8internal13FloatingPointIfEC2ERKf
Unexecuted instantiation: _ZN7testing8internal13FloatingPointIdEC2ERKd
311
312
  // Static methods
313
314
  // Reinterprets a bit pattern as a floating-point number.
315
  //
316
  // This function is needed to test the AlmostEquals() method.
317
  static RawType ReinterpretBits(const Bits bits) {
318
    FloatingPoint fp(0);
319
    fp.u_.bits_ = bits;
320
    return fp.u_.value_;
321
  }
322
323
  // Returns the floating-point number that represent positive infinity.
324
  static RawType Infinity() {
325
    return ReinterpretBits(kExponentBitMask);
326
  }
327
328
  // Returns the maximum representable finite floating-point number.
329
  static RawType Max();
330
331
  // Non-static methods
332
333
  // Returns the bits that represents this number.
334
  const Bits &bits() const { return u_.bits_; }
335
336
  // Returns the exponent bits of this number.
337
0
  Bits exponent_bits() const { return kExponentBitMask & u_.bits_; }
Unexecuted instantiation: _ZNK7testing8internal13FloatingPointIfE13exponent_bitsEv
Unexecuted instantiation: _ZNK7testing8internal13FloatingPointIdE13exponent_bitsEv
338
339
  // Returns the fraction bits of this number.
340
0
  Bits fraction_bits() const { return kFractionBitMask & u_.bits_; }
Unexecuted instantiation: _ZNK7testing8internal13FloatingPointIfE13fraction_bitsEv
Unexecuted instantiation: _ZNK7testing8internal13FloatingPointIdE13fraction_bitsEv
341
342
  // Returns the sign bit of this number.
343
  Bits sign_bit() const { return kSignBitMask & u_.bits_; }
344
345
  // Returns true iff this is NAN (not a number).
346
0
  bool is_nan() const {
347
0
    // It's a NAN if the exponent bits are all ones and the fraction
348
0
    // bits are not entirely zeros.
349
0
    return (exponent_bits() == kExponentBitMask) && (fraction_bits() != 0);
350
0
  }
Unexecuted instantiation: _ZNK7testing8internal13FloatingPointIfE6is_nanEv
Unexecuted instantiation: _ZNK7testing8internal13FloatingPointIdE6is_nanEv
351
352
  // Returns true iff this number is at most kMaxUlps ULP's away from
353
  // rhs.  In particular, this function:
354
  //
355
  //   - returns false if either number is (or both are) NAN.
356
  //   - treats really large numbers as almost equal to infinity.
357
  //   - thinks +0.0 and -0.0 are 0 DLP's apart.
358
0
  bool AlmostEquals(const FloatingPoint& rhs) const {
359
0
    // The IEEE standard says that any comparison operation involving
360
0
    // a NAN must return false.
361
0
    if (is_nan() || rhs.is_nan()) return false;
362
0
363
0
    return DistanceBetweenSignAndMagnitudeNumbers(u_.bits_, rhs.u_.bits_)
364
0
        <= kMaxUlps;
365
0
  }
Unexecuted instantiation: _ZNK7testing8internal13FloatingPointIfE12AlmostEqualsERKS2_
Unexecuted instantiation: _ZNK7testing8internal13FloatingPointIdE12AlmostEqualsERKS2_
366
367
 private:
368
  // The data type used to store the actual floating-point number.
369
  union FloatingPointUnion {
370
    RawType value_;  // The raw floating-point number.
371
    Bits bits_;      // The bits that represent the number.
372
  };
373
374
  // Converts an integer from the sign-and-magnitude representation to
375
  // the biased representation.  More precisely, let N be 2 to the
376
  // power of (kBitCount - 1), an integer x is represented by the
377
  // unsigned number x + N.
378
  //
379
  // For instance,
380
  //
381
  //   -N + 1 (the most negative number representable using
382
  //          sign-and-magnitude) is represented by 1;
383
  //   0      is represented by N; and
384
  //   N - 1  (the biggest number representable using
385
  //          sign-and-magnitude) is represented by 2N - 1.
386
  //
387
  // Read http://en.wikipedia.org/wiki/Signed_number_representations
388
  // for more details on signed number representations.
389
0
  static Bits SignAndMagnitudeToBiased(const Bits &sam) {
390
0
    if (kSignBitMask & sam) {
391
0
      // sam represents a negative number.
392
0
      return ~sam + 1;
393
0
    } else {
394
0
      // sam represents a positive number.
395
0
      return kSignBitMask | sam;
396
0
    }
397
0
  }
Unexecuted instantiation: _ZN7testing8internal13FloatingPointIfE24SignAndMagnitudeToBiasedERKj
Unexecuted instantiation: _ZN7testing8internal13FloatingPointIdE24SignAndMagnitudeToBiasedERKy
398
399
  // Given two numbers in the sign-and-magnitude representation,
400
  // returns the distance between them as an unsigned number.
401
  static Bits DistanceBetweenSignAndMagnitudeNumbers(const Bits &sam1,
402
0
                                                     const Bits &sam2) {
403
0
    const Bits biased1 = SignAndMagnitudeToBiased(sam1);
404
0
    const Bits biased2 = SignAndMagnitudeToBiased(sam2);
405
0
    return (biased1 >= biased2) ? (biased1 - biased2) : (biased2 - biased1);
406
0
  }
Unexecuted instantiation: _ZN7testing8internal13FloatingPointIfE38DistanceBetweenSignAndMagnitudeNumbersERKjS4_
Unexecuted instantiation: _ZN7testing8internal13FloatingPointIdE38DistanceBetweenSignAndMagnitudeNumbersERKyS4_
407
408
  FloatingPointUnion u_;
409
};
410
411
// We cannot use std::numeric_limits<T>::max() as it clashes with the max()
412
// macro defined by <windows.h>.
413
template <>
414
0
inline float FloatingPoint<float>::Max() { return FLT_MAX; }
415
template <>
416
0
inline double FloatingPoint<double>::Max() { return DBL_MAX; }
417
418
// Typedefs the instances of the FloatingPoint template class that we
419
// care to use.
420
typedef FloatingPoint<float> Float;
421
typedef FloatingPoint<double> Double;
422
423
// In order to catch the mistake of putting tests that use different
424
// test fixture classes in the same test case, we need to assign
425
// unique IDs to fixture classes and compare them.  The TypeId type is
426
// used to hold such IDs.  The user should treat TypeId as an opaque
427
// type: the only operation allowed on TypeId values is to compare
428
// them for equality using the == operator.
429
typedef const void* TypeId;
430
431
template <typename T>
432
class TypeIdHelper {
433
 public:
434
  // dummy_ must not have a const type.  Otherwise an overly eager
435
  // compiler (e.g. MSVC 7.1 & 8.0) may try to merge
436
  // TypeIdHelper<T>::dummy_ for different Ts as an "optimization".
437
  static bool dummy_;
438
};
439
440
template <typename T>
441
bool TypeIdHelper<T>::dummy_ = false;
442
443
// GetTypeId<T>() returns the ID of type T.  Different values will be
444
// returned for different types.  Calling the function twice with the
445
// same type argument is guaranteed to return the same ID.
446
template <typename T>
447
13
TypeId GetTypeId() {
448
13
  // The compiler is required to allocate a different
449
13
  // TypeIdHelper<T>::dummy_ variable for each T used to instantiate
450
13
  // the template.  Therefore, the address of dummy_ is guaranteed to
451
13
  // be unique.
452
13
  return &(TypeIdHelper<T>::dummy_);
453
13
}
454
455
// Returns the type ID of ::testing::Test.  Always call this instead
456
// of GetTypeId< ::testing::Test>() to get the type ID of
457
// ::testing::Test, as the latter may give the wrong result due to a
458
// suspected linker bug when compiling Google Test as a Mac OS X
459
// framework.
460
GTEST_API_ TypeId GetTestTypeId();
461
462
// Defines the abstract factory interface that creates instances
463
// of a Test object.
464
class TestFactoryBase {
465
 public:
466
0
  virtual ~TestFactoryBase() {}
467
468
  // Creates a test instance to run. The instance is both created and destroyed
469
  // within TestInfoImpl::Run()
470
  virtual Test* CreateTest() = 0;
471
472
 protected:
473
11
  TestFactoryBase() {}
474
475
 private:
476
  GTEST_DISALLOW_COPY_AND_ASSIGN_(TestFactoryBase);
477
};
478
479
// This class provides implementation of TeastFactoryBase interface.
480
// It is used in TEST and TEST_F macros.
481
template <class TestClass>
482
class TestFactoryImpl : public TestFactoryBase {
483
 public:
484
2
  virtual Test* CreateTest() { return new TestClass; }
_ZN7testing8internal15TestFactoryImplIN4mlir45FlatAffineConstraintsTest_FindSampleTest_TestEE10CreateTestEv
Line
Count
Source
484
1
  virtual Test* CreateTest() { return new TestClass; }
_ZN7testing8internal15TestFactoryImplIN4mlir49FlatAffineConstraintsTest_IsIntegerEmptyTest_TestEE10CreateTestEv
Line
Count
Source
484
1
  virtual Test* CreateTest() { return new TestClass; }
485
};
486
487
#if GTEST_OS_WINDOWS
488
489
// Predicate-formatters for implementing the HRESULT checking macros
490
// {ASSERT|EXPECT}_HRESULT_{SUCCEEDED|FAILED}
491
// We pass a long instead of HRESULT to avoid causing an
492
// include dependency for the HRESULT type.
493
GTEST_API_ AssertionResult IsHRESULTSuccess(const char* expr,
494
                                            long hr);  // NOLINT
495
GTEST_API_ AssertionResult IsHRESULTFailure(const char* expr,
496
                                            long hr);  // NOLINT
497
498
#endif  // GTEST_OS_WINDOWS
499
500
// Types of SetUpTestCase() and TearDownTestCase() functions.
501
typedef void (*SetUpTestCaseFunc)();
502
typedef void (*TearDownTestCaseFunc)();
503
504
struct CodeLocation {
505
11
  CodeLocation(const string& a_file, int a_line) : file(a_file), line(a_line) {}
506
507
  string file;
508
  int line;
509
};
510
511
// Creates a new TestInfo object and registers it with Google Test;
512
// returns the created object.
513
//
514
// Arguments:
515
//
516
//   test_case_name:   name of the test case
517
//   name:             name of the test
518
//   type_param        the name of the test's type parameter, or NULL if
519
//                     this is not a typed or a type-parameterized test.
520
//   value_param       text representation of the test's value parameter,
521
//                     or NULL if this is not a type-parameterized test.
522
//   code_location:    code location where the test is defined
523
//   fixture_class_id: ID of the test fixture class
524
//   set_up_tc:        pointer to the function that sets up the test case
525
//   tear_down_tc:     pointer to the function that tears down the test case
526
//   factory:          pointer to the factory that creates a test object.
527
//                     The newly created TestInfo instance will assume
528
//                     ownership of the factory object.
529
GTEST_API_ TestInfo* MakeAndRegisterTestInfo(
530
    const char* test_case_name,
531
    const char* name,
532
    const char* type_param,
533
    const char* value_param,
534
    CodeLocation code_location,
535
    TypeId fixture_class_id,
536
    SetUpTestCaseFunc set_up_tc,
537
    TearDownTestCaseFunc tear_down_tc,
538
    TestFactoryBase* factory);
539
540
// If *pstr starts with the given prefix, modifies *pstr to be right
541
// past the prefix and returns true; otherwise leaves *pstr unchanged
542
// and returns false.  None of pstr, *pstr, and prefix can be NULL.
543
GTEST_API_ bool SkipPrefix(const char* prefix, const char** pstr);
544
545
#if GTEST_HAS_TYPED_TEST || GTEST_HAS_TYPED_TEST_P
546
547
// State of the definition of a type-parameterized test case.
548
class GTEST_API_ TypedTestCasePState {
549
 public:
550
0
  TypedTestCasePState() : registered_(false) {}
551
552
  // Adds the given test name to defined_test_names_ and return true
553
  // if the test case hasn't been registered; otherwise aborts the
554
  // program.
555
  bool AddTestName(const char* file, int line, const char* case_name,
556
0
                   const char* test_name) {
557
0
    if (registered_) {
558
0
      fprintf(stderr, "%s Test %s must be defined before "
559
0
              "REGISTER_TYPED_TEST_CASE_P(%s, ...).\n",
560
0
              FormatFileLocation(file, line).c_str(), test_name, case_name);
561
0
      fflush(stderr);
562
0
      posix::Abort();
563
0
    }
564
0
    registered_tests_.insert(
565
0
        ::std::make_pair(test_name, CodeLocation(file, line)));
566
0
    return true;
567
0
  }
568
569
0
  bool TestExists(const std::string& test_name) const {
570
0
    return registered_tests_.count(test_name) > 0;
571
0
  }
572
573
0
  const CodeLocation& GetCodeLocation(const std::string& test_name) const {
574
0
    RegisteredTestsMap::const_iterator it = registered_tests_.find(test_name);
575
0
    GTEST_CHECK_(it != registered_tests_.end());
576
0
    return it->second;
577
0
  }
578
579
  // Verifies that registered_tests match the test names in
580
  // defined_test_names_; returns registered_tests if successful, or
581
  // aborts the program otherwise.
582
  const char* VerifyRegisteredTestNames(
583
      const char* file, int line, const char* registered_tests);
584
585
 private:
586
  typedef ::std::map<std::string, CodeLocation> RegisteredTestsMap;
587
588
  bool registered_;
589
  RegisteredTestsMap registered_tests_;
590
};
591
592
// Skips to the first non-space char after the first comma in 'str';
593
// returns NULL if no comma is found in 'str'.
594
0
inline const char* SkipComma(const char* str) {
595
0
  const char* comma = strchr(str, ',');
596
0
  if (comma == NULL) {
597
0
    return NULL;
598
0
  }
599
0
  while (IsSpace(*(++comma))) {}
600
0
  return comma;
601
0
}
602
603
// Returns the prefix of 'str' before the first comma in it; returns
604
// the entire string if it contains no comma.
605
0
inline std::string GetPrefixUntilComma(const char* str) {
606
0
  const char* comma = strchr(str, ',');
607
0
  return comma == NULL ? str : std::string(str, comma);
608
0
}
609
610
// Splits a given string on a given delimiter, populating a given
611
// vector with the fields.
612
void SplitString(const ::std::string& str, char delimiter,
613
                 ::std::vector< ::std::string>* dest);
614
615
// TypeParameterizedTest<Fixture, TestSel, Types>::Register()
616
// registers a list of type-parameterized tests with Google Test.  The
617
// return value is insignificant - we just need to return something
618
// such that we can call this function in a namespace scope.
619
//
620
// Implementation note: The GTEST_TEMPLATE_ macro declares a template
621
// template parameter.  It's defined in gtest-type-util.h.
622
template <GTEST_TEMPLATE_ Fixture, class TestSel, typename Types>
623
class TypeParameterizedTest {
624
 public:
625
  // 'index' is the index of the test in the type list 'Types'
626
  // specified in INSTANTIATE_TYPED_TEST_CASE_P(Prefix, TestCase,
627
  // Types).  Valid values for 'index' are [0, N - 1] where N is the
628
  // length of Types.
629
  static bool Register(const char* prefix,
630
                       CodeLocation code_location,
631
                       const char* case_name, const char* test_names,
632
                       int index) {
633
    typedef typename Types::Head Type;
634
    typedef Fixture<Type> FixtureClass;
635
    typedef typename GTEST_BIND_(TestSel, Type) TestClass;
636
637
    // First, registers the first type-parameterized test in the type
638
    // list.
639
    MakeAndRegisterTestInfo(
640
        (std::string(prefix) + (prefix[0] == '\0' ? "" : "/") + case_name + "/"
641
         + StreamableToString(index)).c_str(),
642
        StripTrailingSpaces(GetPrefixUntilComma(test_names)).c_str(),
643
        GetTypeName<Type>().c_str(),
644
        NULL,  // No value parameter.
645
        code_location,
646
        GetTypeId<FixtureClass>(),
647
        TestClass::SetUpTestCase,
648
        TestClass::TearDownTestCase,
649
        new TestFactoryImpl<TestClass>);
650
651
    // Next, recurses (at compile time) with the tail of the type list.
652
    return TypeParameterizedTest<Fixture, TestSel, typename Types::Tail>
653
        ::Register(prefix, code_location, case_name, test_names, index + 1);
654
  }
655
};
656
657
// The base case for the compile time recursion.
658
template <GTEST_TEMPLATE_ Fixture, class TestSel>
659
class TypeParameterizedTest<Fixture, TestSel, Types0> {
660
 public:
661
  static bool Register(const char* /*prefix*/, CodeLocation,
662
                       const char* /*case_name*/, const char* /*test_names*/,
663
                       int /*index*/) {
664
    return true;
665
  }
666
};
667
668
// TypeParameterizedTestCase<Fixture, Tests, Types>::Register()
669
// registers *all combinations* of 'Tests' and 'Types' with Google
670
// Test.  The return value is insignificant - we just need to return
671
// something such that we can call this function in a namespace scope.
672
template <GTEST_TEMPLATE_ Fixture, typename Tests, typename Types>
673
class TypeParameterizedTestCase {
674
 public:
675
  static bool Register(const char* prefix, CodeLocation code_location,
676
                       const TypedTestCasePState* state,
677
                       const char* case_name, const char* test_names) {
678
    std::string test_name = StripTrailingSpaces(
679
        GetPrefixUntilComma(test_names));
680
    if (!state->TestExists(test_name)) {
681
      fprintf(stderr, "Failed to get code location for test %s.%s at %s.",
682
              case_name, test_name.c_str(),
683
              FormatFileLocation(code_location.file.c_str(),
684
                                 code_location.line).c_str());
685
      fflush(stderr);
686
      posix::Abort();
687
    }
688
    const CodeLocation& test_location = state->GetCodeLocation(test_name);
689
690
    typedef typename Tests::Head Head;
691
692
    // First, register the first test in 'Test' for each type in 'Types'.
693
    TypeParameterizedTest<Fixture, Head, Types>::Register(
694
        prefix, test_location, case_name, test_names, 0);
695
696
    // Next, recurses (at compile time) with the tail of the test list.
697
    return TypeParameterizedTestCase<Fixture, typename Tests::Tail, Types>
698
        ::Register(prefix, code_location, state,
699
                   case_name, SkipComma(test_names));
700
  }
701
};
702
703
// The base case for the compile time recursion.
704
template <GTEST_TEMPLATE_ Fixture, typename Types>
705
class TypeParameterizedTestCase<Fixture, Templates0, Types> {
706
 public:
707
  static bool Register(const char* /*prefix*/, CodeLocation,
708
                       const TypedTestCasePState* /*state*/,
709
                       const char* /*case_name*/, const char* /*test_names*/) {
710
    return true;
711
  }
712
};
713
714
#endif  // GTEST_HAS_TYPED_TEST || GTEST_HAS_TYPED_TEST_P
715
716
// Returns the current OS stack trace as an std::string.
717
//
718
// The maximum number of stack frames to be included is specified by
719
// the gtest_stack_trace_depth flag.  The skip_count parameter
720
// specifies the number of top frames to be skipped, which doesn't
721
// count against the number of frames to be included.
722
//
723
// For example, if Foo() calls Bar(), which in turn calls
724
// GetCurrentOsStackTraceExceptTop(..., 1), Foo() will be included in
725
// the trace but Bar() and GetCurrentOsStackTraceExceptTop() won't.
726
GTEST_API_ std::string GetCurrentOsStackTraceExceptTop(
727
    UnitTest* unit_test, int skip_count);
728
729
// Helpers for suppressing warnings on unreachable code or constant
730
// condition.
731
732
// Always returns true.
733
GTEST_API_ bool AlwaysTrue();
734
735
// Always returns false.
736
0
inline bool AlwaysFalse() { return !AlwaysTrue(); }
737
738
// Helper for suppressing false warning from Clang on a const char*
739
// variable declared in a conditional expression always being NULL in
740
// the else branch.
741
struct GTEST_API_ ConstCharPtr {
742
0
  ConstCharPtr(const char* str) : value(str) {}
743
0
  operator bool() const { return true; }
744
  const char* value;
745
};
746
747
// A simple Linear Congruential Generator for generating random
748
// numbers with a uniform distribution.  Unlike rand() and srand(), it
749
// doesn't use global state (and therefore can't interfere with user
750
// code).  Unlike rand_r(), it's portable.  An LCG isn't very random,
751
// but it's good enough for our purposes.
752
class GTEST_API_ Random {
753
 public:
754
  static const UInt32 kMaxRange = 1u << 31;
755
756
2
  explicit Random(UInt32 seed) : state_(seed) {}
757
758
0
  void Reseed(UInt32 seed) { state_ = seed; }
759
760
  // Generates a random number from [0, range).  Crashes if 'range' is
761
  // 0 or greater than kMaxRange.
762
  UInt32 Generate(UInt32 range);
763
764
 private:
765
  UInt32 state_;
766
  GTEST_DISALLOW_COPY_AND_ASSIGN_(Random);
767
};
768
769
// Defining a variable of type CompileAssertTypesEqual<T1, T2> will cause a
770
// compiler error iff T1 and T2 are different types.
771
template <typename T1, typename T2>
772
struct CompileAssertTypesEqual;
773
774
template <typename T>
775
struct CompileAssertTypesEqual<T, T> {
776
};
777
778
// Removes the reference from a type if it is a reference type,
779
// otherwise leaves it unchanged.  This is the same as
780
// tr1::remove_reference, which is not widely available yet.
781
template <typename T>
782
struct RemoveReference { typedef T type; };  // NOLINT
783
template <typename T>
784
struct RemoveReference<T&> { typedef T type; };  // NOLINT
785
786
// A handy wrapper around RemoveReference that works when the argument
787
// T depends on template parameters.
788
#define GTEST_REMOVE_REFERENCE_(T) \
789
    typename ::testing::internal::RemoveReference<T>::type
790
791
// Removes const from a type if it is a const type, otherwise leaves
792
// it unchanged.  This is the same as tr1::remove_const, which is not
793
// widely available yet.
794
template <typename T>
795
struct RemoveConst { typedef T type; };  // NOLINT
796
template <typename T>
797
struct RemoveConst<const T> { typedef T type; };  // NOLINT
798
799
// MSVC 8.0, Sun C++, and IBM XL C++ have a bug which causes the above
800
// definition to fail to remove the const in 'const int[3]' and 'const
801
// char[3][4]'.  The following specialization works around the bug.
802
template <typename T, size_t N>
803
struct RemoveConst<const T[N]> {
804
  typedef typename RemoveConst<T>::type type[N];
805
};
806
807
#if defined(_MSC_VER) && _MSC_VER < 1400
808
// This is the only specialization that allows VC++ 7.1 to remove const in
809
// 'const int[3] and 'const int[3][4]'.  However, it causes trouble with GCC
810
// and thus needs to be conditionally compiled.
811
template <typename T, size_t N>
812
struct RemoveConst<T[N]> {
813
  typedef typename RemoveConst<T>::type type[N];
814
};
815
#endif
816
817
// A handy wrapper around RemoveConst that works when the argument
818
// T depends on template parameters.
819
#define GTEST_REMOVE_CONST_(T) \
820
    typename ::testing::internal::RemoveConst<T>::type
821
822
// Turns const U&, U&, const U, and U all into U.
823
#define GTEST_REMOVE_REFERENCE_AND_CONST_(T) \
824
    GTEST_REMOVE_CONST_(GTEST_REMOVE_REFERENCE_(T))
825
826
// Adds reference to a type if it is not a reference type,
827
// otherwise leaves it unchanged.  This is the same as
828
// tr1::add_reference, which is not widely available yet.
829
template <typename T>
830
struct AddReference { typedef T& type; };  // NOLINT
831
template <typename T>
832
struct AddReference<T&> { typedef T& type; };  // NOLINT
833
834
// A handy wrapper around AddReference that works when the argument T
835
// depends on template parameters.
836
#define GTEST_ADD_REFERENCE_(T) \
837
    typename ::testing::internal::AddReference<T>::type
838
839
// Adds a reference to const on top of T as necessary.  For example,
840
// it transforms
841
//
842
//   char         ==> const char&
843
//   const char   ==> const char&
844
//   char&        ==> const char&
845
//   const char&  ==> const char&
846
//
847
// The argument T must depend on some template parameters.
848
#define GTEST_REFERENCE_TO_CONST_(T) \
849
    GTEST_ADD_REFERENCE_(const GTEST_REMOVE_REFERENCE_(T))
850
851
// ImplicitlyConvertible<From, To>::value is a compile-time bool
852
// constant that's true iff type From can be implicitly converted to
853
// type To.
854
template <typename From, typename To>
855
class ImplicitlyConvertible {
856
 private:
857
  // We need the following helper functions only for their types.
858
  // They have no implementations.
859
860
  // MakeFrom() is an expression whose type is From.  We cannot simply
861
  // use From(), as the type From may not have a public default
862
  // constructor.
863
  static typename AddReference<From>::type MakeFrom();
864
865
  // These two functions are overloaded.  Given an expression
866
  // Helper(x), the compiler will pick the first version if x can be
867
  // implicitly converted to type To; otherwise it will pick the
868
  // second version.
869
  //
870
  // The first version returns a value of size 1, and the second
871
  // version returns a value of size 2.  Therefore, by checking the
872
  // size of Helper(x), which can be done at compile time, we can tell
873
  // which version of Helper() is used, and hence whether x can be
874
  // implicitly converted to type To.
875
  static char Helper(To);
876
  static char (&Helper(...))[2];  // NOLINT
877
878
  // We have to put the 'public' section after the 'private' section,
879
  // or MSVC refuses to compile the code.
880
 public:
881
#if defined(__BORLANDC__)
882
  // C++Builder cannot use member overload resolution during template
883
  // instantiation.  The simplest workaround is to use its C++0x type traits
884
  // functions (C++Builder 2009 and above only).
885
  static const bool value = __is_convertible(From, To);
886
#else
887
  // MSVC warns about implicitly converting from double to int for
888
  // possible loss of data, so we need to temporarily disable the
889
  // warning.
890
  GTEST_DISABLE_MSC_WARNINGS_PUSH_(4244)
891
  static const bool value =
892
      sizeof(Helper(ImplicitlyConvertible::MakeFrom())) == 1;
893
  GTEST_DISABLE_MSC_WARNINGS_POP_()
894
#endif  // __BORLANDC__
895
};
896
template <typename From, typename To>
897
const bool ImplicitlyConvertible<From, To>::value;
898
899
// IsAProtocolMessage<T>::value is a compile-time bool constant that's
900
// true iff T is type ProtocolMessage, proto2::Message, or a subclass
901
// of those.
902
template <typename T>
903
struct IsAProtocolMessage
904
    : public bool_constant<
905
  ImplicitlyConvertible<const T*, const ::ProtocolMessage*>::value ||
906
  ImplicitlyConvertible<const T*, const ::proto2::Message*>::value> {
907
};
908
909
// When the compiler sees expression IsContainerTest<C>(0), if C is an
910
// STL-style container class, the first overload of IsContainerTest
911
// will be viable (since both C::iterator* and C::const_iterator* are
912
// valid types and NULL can be implicitly converted to them).  It will
913
// be picked over the second overload as 'int' is a perfect match for
914
// the type of argument 0.  If C::iterator or C::const_iterator is not
915
// a valid type, the first overload is not viable, and the second
916
// overload will be picked.  Therefore, we can determine whether C is
917
// a container class by checking the type of IsContainerTest<C>(0).
918
// The value of the expression is insignificant.
919
//
920
// Note that we look for both C::iterator and C::const_iterator.  The
921
// reason is that C++ injects the name of a class as a member of the
922
// class itself (e.g. you can refer to class iterator as either
923
// 'iterator' or 'iterator::iterator').  If we look for C::iterator
924
// only, for example, we would mistakenly think that a class named
925
// iterator is an STL container.
926
//
927
// Also note that the simpler approach of overloading
928
// IsContainerTest(typename C::const_iterator*) and
929
// IsContainerTest(...) doesn't work with Visual Age C++ and Sun C++.
930
typedef int IsContainer;
931
template <class C>
932
IsContainer IsContainerTest(int /* dummy */,
933
                            typename C::iterator* /* it */ = NULL,
934
                            typename C::const_iterator* /* const_it */ = NULL) {
935
  return 0;
936
}
937
938
typedef char IsNotContainer;
939
template <class C>
940
4
IsNotContainer IsContainerTest(long /* dummy */) { return '\0'; }
_ZN7testing8internal15IsContainerTestIlEEcl
Line
Count
Source
940
4
IsNotContainer IsContainerTest(long /* dummy */) { return '\0'; }
Unexecuted instantiation: _ZN7testing8internal15IsContainerTestIiEEcl
Unexecuted instantiation: _ZN7testing8internal15IsContainerTestIPKvEEcl
Unexecuted instantiation: _ZN7testing8internal15IsContainerTestIxEEcl
941
942
// EnableIf<condition>::type is void when 'Cond' is true, and
943
// undefined when 'Cond' is false.  To use SFINAE to make a function
944
// overload only apply when a particular expression is true, add
945
// "typename EnableIf<expression>::type* = 0" as the last parameter.
946
template<bool> struct EnableIf;
947
template<> struct EnableIf<true> { typedef void type; };  // NOLINT
948
949
// Utilities for native arrays.
950
951
// ArrayEq() compares two k-dimensional native arrays using the
952
// elements' operator==, where k can be any integer >= 0.  When k is
953
// 0, ArrayEq() degenerates into comparing a single pair of values.
954
955
template <typename T, typename U>
956
bool ArrayEq(const T* lhs, size_t size, const U* rhs);
957
958
// This generic version is used when k is 0.
959
template <typename T, typename U>
960
inline bool ArrayEq(const T& lhs, const U& rhs) { return lhs == rhs; }
961
962
// This overload is used when k >= 1.
963
template <typename T, typename U, size_t N>
964
inline bool ArrayEq(const T(&lhs)[N], const U(&rhs)[N]) {
965
  return internal::ArrayEq(lhs, N, rhs);
966
}
967
968
// This helper reduces code bloat.  If we instead put its logic inside
969
// the previous ArrayEq() function, arrays with different sizes would
970
// lead to different copies of the template code.
971
template <typename T, typename U>
972
bool ArrayEq(const T* lhs, size_t size, const U* rhs) {
973
  for (size_t i = 0; i != size; i++) {
974
    if (!internal::ArrayEq(lhs[i], rhs[i]))
975
      return false;
976
  }
977
  return true;
978
}
979
980
// Finds the first element in the iterator range [begin, end) that
981
// equals elem.  Element may be a native array type itself.
982
template <typename Iter, typename Element>
983
Iter ArrayAwareFind(Iter begin, Iter end, const Element& elem) {
984
  for (Iter it = begin; it != end; ++it) {
985
    if (internal::ArrayEq(*it, elem))
986
      return it;
987
  }
988
  return end;
989
}
990
991
// CopyArray() copies a k-dimensional native array using the elements'
992
// operator=, where k can be any integer >= 0.  When k is 0,
993
// CopyArray() degenerates into copying a single value.
994
995
template <typename T, typename U>
996
void CopyArray(const T* from, size_t size, U* to);
997
998
// This generic version is used when k is 0.
999
template <typename T, typename U>
1000
inline void CopyArray(const T& from, U* to) { *to = from; }
1001
1002
// This overload is used when k >= 1.
1003
template <typename T, typename U, size_t N>
1004
inline void CopyArray(const T(&from)[N], U(*to)[N]) {
1005
  internal::CopyArray(from, N, *to);
1006
}
1007
1008
// This helper reduces code bloat.  If we instead put its logic inside
1009
// the previous CopyArray() function, arrays with different sizes
1010
// would lead to different copies of the template code.
1011
template <typename T, typename U>
1012
void CopyArray(const T* from, size_t size, U* to) {
1013
  for (size_t i = 0; i != size; i++) {
1014
    internal::CopyArray(from[i], to + i);
1015
  }
1016
}
1017
1018
// The relation between an NativeArray object (see below) and the
1019
// native array it represents.
1020
// We use 2 different structs to allow non-copyable types to be used, as long
1021
// as RelationToSourceReference() is passed.
1022
struct RelationToSourceReference {};
1023
struct RelationToSourceCopy {};
1024
1025
// Adapts a native array to a read-only STL-style container.  Instead
1026
// of the complete STL container concept, this adaptor only implements
1027
// members useful for Google Mock's container matchers.  New members
1028
// should be added as needed.  To simplify the implementation, we only
1029
// support Element being a raw type (i.e. having no top-level const or
1030
// reference modifier).  It's the client's responsibility to satisfy
1031
// this requirement.  Element can be an array type itself (hence
1032
// multi-dimensional arrays are supported).
1033
template <typename Element>
1034
class NativeArray {
1035
 public:
1036
  // STL-style container typedefs.
1037
  typedef Element value_type;
1038
  typedef Element* iterator;
1039
  typedef const Element* const_iterator;
1040
1041
  // Constructs from a native array. References the source.
1042
  NativeArray(const Element* array, size_t count, RelationToSourceReference) {
1043
    InitRef(array, count);
1044
  }
1045
1046
  // Constructs from a native array. Copies the source.
1047
  NativeArray(const Element* array, size_t count, RelationToSourceCopy) {
1048
    InitCopy(array, count);
1049
  }
1050
1051
  // Copy constructor.
1052
  NativeArray(const NativeArray& rhs) {
1053
    (this->*rhs.clone_)(rhs.array_, rhs.size_);
1054
  }
1055
1056
  ~NativeArray() {
1057
    if (clone_ != &NativeArray::InitRef)
1058
      delete[] array_;
1059
  }
1060
1061
  // STL-style container methods.
1062
  size_t size() const { return size_; }
1063
  const_iterator begin() const { return array_; }
1064
  const_iterator end() const { return array_ + size_; }
1065
  bool operator==(const NativeArray& rhs) const {
1066
    return size() == rhs.size() &&
1067
        ArrayEq(begin(), size(), rhs.begin());
1068
  }
1069
1070
 private:
1071
  enum {
1072
    kCheckTypeIsNotConstOrAReference = StaticAssertTypeEqHelper<
1073
        Element, GTEST_REMOVE_REFERENCE_AND_CONST_(Element)>::value,
1074
  };
1075
1076
  // Initializes this object with a copy of the input.
1077
  void InitCopy(const Element* array, size_t a_size) {
1078
    Element* const copy = new Element[a_size];
1079
    CopyArray(array, a_size, copy);
1080
    array_ = copy;
1081
    size_ = a_size;
1082
    clone_ = &NativeArray::InitCopy;
1083
  }
1084
1085
  // Initializes this object with a reference of the input.
1086
  void InitRef(const Element* array, size_t a_size) {
1087
    array_ = array;
1088
    size_ = a_size;
1089
    clone_ = &NativeArray::InitRef;
1090
  }
1091
1092
  const Element* array_;
1093
  size_t size_;
1094
  void (NativeArray::*clone_)(const Element*, size_t);
1095
1096
  GTEST_DISALLOW_ASSIGN_(NativeArray);
1097
};
1098
1099
}  // namespace internal
1100
}  // namespace testing
1101
1102
#define GTEST_MESSAGE_AT_(file, line, message, result_type) \
1103
59
  ::testing::internal::AssertHelper(result_type, file, line, message) \
1104
59
    = ::testing::Message()
1105
1106
#define GTEST_MESSAGE_(message, result_type) \
1107
0
  GTEST_MESSAGE_AT_(__FILE__, __LINE__, message, result_type)
1108
1109
#define GTEST_FATAL_FAILURE_(message) \
1110
0
  return GTEST_MESSAGE_(message, ::testing::TestPartResult::kFatalFailure)
1111
1112
#define GTEST_NONFATAL_FAILURE_(message) \
1113
45
  GTEST_MESSAGE_(message, ::testing::TestPartResult::kNonFatalFailure)
1114
1115
#define GTEST_SUCCESS_(message) \
1116
  GTEST_MESSAGE_(message, ::testing::TestPartResult::kSuccess)
1117
1118
// Suppresses MSVC warnings 4072 (unreachable code) for the code following
1119
// statement if it returns or throws (or doesn't return or throw in some
1120
// situations).
1121
#define GTEST_SUPPRESS_UNREACHABLE_CODE_WARNING_BELOW_(statement) \
1122
  if (::testing::internal::AlwaysTrue()) { statement; }
1123
1124
#define GTEST_TEST_THROW_(statement, expected_exception, fail) \
1125
  GTEST_AMBIGUOUS_ELSE_BLOCKER_ \
1126
  if (::testing::internal::ConstCharPtr gtest_msg = "") { \
1127
    bool gtest_caught_expected = false; \
1128
    try { \
1129
      GTEST_SUPPRESS_UNREACHABLE_CODE_WARNING_BELOW_(statement); \
1130
    } \
1131
    catch (expected_exception const&) { \
1132
      gtest_caught_expected = true; \
1133
    } \
1134
    catch (...) { \
1135
      gtest_msg.value = \
1136
          "Expected: " #statement " throws an exception of type " \
1137
          #expected_exception ".\n  Actual: it throws a different type."; \
1138
      goto GTEST_CONCAT_TOKEN_(gtest_label_testthrow_, __LINE__); \
1139
    } \
1140
    if (!gtest_caught_expected) { \
1141
      gtest_msg.value = \
1142
          "Expected: " #statement " throws an exception of type " \
1143
          #expected_exception ".\n  Actual: it throws nothing."; \
1144
      goto GTEST_CONCAT_TOKEN_(gtest_label_testthrow_, __LINE__); \
1145
    } \
1146
  } else \
1147
    GTEST_CONCAT_TOKEN_(gtest_label_testthrow_, __LINE__): \
1148
      fail(gtest_msg.value)
1149
1150
#define GTEST_TEST_NO_THROW_(statement, fail) \
1151
  GTEST_AMBIGUOUS_ELSE_BLOCKER_ \
1152
  if (::testing::internal::AlwaysTrue()) { \
1153
    try { \
1154
      GTEST_SUPPRESS_UNREACHABLE_CODE_WARNING_BELOW_(statement); \
1155
    } \
1156
    catch (...) { \
1157
      goto GTEST_CONCAT_TOKEN_(gtest_label_testnothrow_, __LINE__); \
1158
    } \
1159
  } else \
1160
    GTEST_CONCAT_TOKEN_(gtest_label_testnothrow_, __LINE__): \
1161
      fail("Expected: " #statement " doesn't throw an exception.\n" \
1162
           "  Actual: it throws.")
1163
1164
#define GTEST_TEST_ANY_THROW_(statement, fail) \
1165
  GTEST_AMBIGUOUS_ELSE_BLOCKER_ \
1166
  if (::testing::internal::AlwaysTrue()) { \
1167
    bool gtest_caught_any = false; \
1168
    try { \
1169
      GTEST_SUPPRESS_UNREACHABLE_CODE_WARNING_BELOW_(statement); \
1170
    } \
1171
    catch (...) { \
1172
      gtest_caught_any = true; \
1173
    } \
1174
    if (!gtest_caught_any) { \
1175
      goto GTEST_CONCAT_TOKEN_(gtest_label_testanythrow_, __LINE__); \
1176
    } \
1177
  } else \
1178
    GTEST_CONCAT_TOKEN_(gtest_label_testanythrow_, __LINE__): \
1179
      fail("Expected: " #statement " throws an exception.\n" \
1180
           "  Actual: it doesn't.")
1181
1182
1183
// Implements Boolean test assertions such as EXPECT_TRUE. expression can be
1184
// either a boolean expression or an AssertionResult. text is a textual
1185
// represenation of expression as it was passed into the EXPECT_TRUE.
1186
#define GTEST_TEST_BOOLEAN_(expression, text, actual, expected, fail) \
1187
62
  GTEST_AMBIGUOUS_ELSE_BLOCKER_ \
1188
62
  if (const ::testing::AssertionResult gtest_ar_ = \
1189
62
      ::testing::AssertionResult(expression)) \
1190
62
    ; \
1191
62
  else \
1192
62
    fail(::testing::internal::GetBoolAssertionFailureMessage(\
1193
0
        gtest_ar_, text, #actual, #expected).c_str())
1194
1195
#define GTEST_TEST_NO_FATAL_FAILURE_(statement, fail) \
1196
  GTEST_AMBIGUOUS_ELSE_BLOCKER_ \
1197
  if (::testing::internal::AlwaysTrue()) { \
1198
    ::testing::internal::HasNewFatalFailureHelper gtest_fatal_failure_checker; \
1199
    GTEST_SUPPRESS_UNREACHABLE_CODE_WARNING_BELOW_(statement); \
1200
    if (gtest_fatal_failure_checker.has_new_fatal_failure()) { \
1201
      goto GTEST_CONCAT_TOKEN_(gtest_label_testnofatal_, __LINE__); \
1202
    } \
1203
  } else \
1204
    GTEST_CONCAT_TOKEN_(gtest_label_testnofatal_, __LINE__): \
1205
      fail("Expected: " #statement " doesn't generate new fatal " \
1206
           "failures in the current thread.\n" \
1207
           "  Actual: it does.")
1208
1209
// Expands to the name of the class that implements the given test.
1210
#define GTEST_TEST_CLASS_NAME_(test_case_name, test_name) \
1211
  test_case_name##_##test_name##_Test
1212
1213
// Helper macro for defining tests.
1214
#define GTEST_TEST_(test_case_name, test_name, parent_class, parent_id)\
1215
class GTEST_TEST_CLASS_NAME_(test_case_name, test_name) : public parent_class {\
1216
 public:\
1217
2
  GTEST_TEST_CLASS_NAME_(test_case_name, test_name)() {}\
_ZN4mlir45FlatAffineConstraintsTest_FindSampleTest_TestC2Ev
Line
Count
Source
1217
1
  GTEST_TEST_CLASS_NAME_(test_case_name, test_name)() {}\
_ZN4mlir49FlatAffineConstraintsTest_IsIntegerEmptyTest_TestC2Ev
Line
Count
Source
1217
1
  GTEST_TEST_CLASS_NAME_(test_case_name, test_name)() {}\
1218
 private:\
1219
  virtual void TestBody();\
1220
  static ::testing::TestInfo* const test_info_ GTEST_ATTRIBUTE_UNUSED_;\
1221
  GTEST_DISALLOW_COPY_AND_ASSIGN_(\
1222
      GTEST_TEST_CLASS_NAME_(test_case_name, test_name));\
1223
};\
1224
\
1225
::testing::TestInfo* const GTEST_TEST_CLASS_NAME_(test_case_name, test_name)\
1226
  ::test_info_ =\
1227
    ::testing::internal::MakeAndRegisterTestInfo(\
1228
        #test_case_name, #test_name, NULL, NULL, \
1229
        ::testing::internal::CodeLocation(__FILE__, __LINE__), \
1230
        (parent_id), \
1231
        parent_class::SetUpTestCase, \
1232
        parent_class::TearDownTestCase, \
1233
        new ::testing::internal::TestFactoryImpl<\
1234
            GTEST_TEST_CLASS_NAME_(test_case_name, test_name)>);\
1235
void GTEST_TEST_CLASS_NAME_(test_case_name, test_name)::TestBody()
1236
1237
#endif  // GTEST_INCLUDE_GTEST_INTERNAL_GTEST_INTERNAL_H_
1238