@@ -411,15 +411,18 @@ TEST(SetTest, isEqual) {
411411 EXPECT_FALSE (rect.complement ().isEqual (square.complement ()));
412412}
413413
414- void expectEqual (const PresburgerSet &s, const PresburgerSet &t) {
414+ static void expectEqual (const PresburgerSet &s, const PresburgerSet &t) {
415415 EXPECT_TRUE (s.isEqual (t));
416416}
417417
418- void expectEqual (const IntegerPolyhedron &s, const IntegerPolyhedron &t) {
418+ static void expectEqual (const IntegerPolyhedron &s,
419+ const IntegerPolyhedron &t) {
419420 EXPECT_TRUE (s.isEqual (t));
420421}
421422
422- void expectEmpty (const PresburgerSet &s) { EXPECT_TRUE (s.isIntegerEmpty ()); }
423+ static void expectEmpty (const PresburgerSet &s) {
424+ EXPECT_TRUE (s.isIntegerEmpty ());
425+ }
423426
424427TEST (SetTest, divisions) {
425428 // evens = {x : exists q, x = 2q}.
@@ -453,12 +456,13 @@ TEST(SetTest, divisions) {
453456 EXPECT_TRUE (setA.subtract (setB).isEqual (setA));
454457}
455458
456- void convertSuffixDimsToLocals (IntegerPolyhedron &poly, unsigned numLocals) {
459+ static void convertSuffixDimsToLocals (IntegerPolyhedron &poly,
460+ unsigned numLocals) {
457461 poly.convertVarKind (VarKind::SetDim, poly.getNumDimVars () - numLocals,
458462 poly.getNumDimVars (), VarKind::Local);
459463}
460464
461- inline IntegerPolyhedron
465+ static inline IntegerPolyhedron
462466parseIntegerPolyhedronAndMakeLocals (StringRef str, unsigned numLocals) {
463467 IntegerPolyhedron poly = parseIntegerPolyhedron (str);
464468 convertSuffixDimsToLocals (poly, numLocals);
@@ -551,7 +555,7 @@ TEST(SetTest, subtractDuplicateDivsRegression) {
551555
552556// / Coalesce `set` and check that the `newSet` is equal to `set` and that
553557// / `expectedNumPoly` matches the number of Poly in the coalesced set.
554- void expectCoalesce (size_t expectedNumPoly, const PresburgerSet &set) {
558+ static void expectCoalesce (size_t expectedNumPoly, const PresburgerSet &set) {
555559 PresburgerSet newSet = set.coalesce ();
556560 EXPECT_TRUE (set.isEqual (newSet));
557561 EXPECT_TRUE (expectedNumPoly == newSet.getNumDisjuncts ());
@@ -811,9 +815,9 @@ TEST(SetTest, computeVolume) {
811815
812816// The last `numToProject` dims will be projected out, i.e., converted to
813817// locals.
814- void testComputeReprAtPoints (IntegerPolyhedron poly,
815- ArrayRef<SmallVector<int64_t , 4 >> points,
816- unsigned numToProject) {
818+ static void testComputeReprAtPoints (IntegerPolyhedron poly,
819+ ArrayRef<SmallVector<int64_t , 4 >> points,
820+ unsigned numToProject) {
817821 poly.convertVarKind (VarKind::SetDim, poly.getNumDimVars () - numToProject,
818822 poly.getNumDimVars (), VarKind::Local);
819823 PresburgerRelation repr = poly.computeReprWithOnlyDivLocals ();
@@ -825,8 +829,9 @@ void testComputeReprAtPoints(IntegerPolyhedron poly,
825829 }
826830}
827831
828- void testComputeRepr (IntegerPolyhedron poly, const PresburgerSet &expected,
829- unsigned numToProject) {
832+ static void testComputeRepr (IntegerPolyhedron poly,
833+ const PresburgerSet &expected,
834+ unsigned numToProject) {
830835 poly.convertVarKind (VarKind::SetDim, poly.getNumDimVars () - numToProject,
831836 poly.getNumDimVars (), VarKind::Local);
832837 PresburgerRelation repr = poly.computeReprWithOnlyDivLocals ();
0 commit comments