1996   EXPECT_MAY_OVERFLOW(Some.signedAddMayOverflow(Empty));  in TEST_F()
1997   EXPECT_MAY_OVERFLOW(Empty.signedAddMayOverflow(Some));  in TEST_F()
2001   EXPECT_NEVER_OVERFLOWS(Full.signedAddMayOverflow(Zero));  in TEST_F()
2002   EXPECT_NEVER_OVERFLOWS(Wrap.signedAddMayOverflow(Zero));  in TEST_F()
2003   EXPECT_NEVER_OVERFLOWS(Zero.signedAddMayOverflow(Full));  in TEST_F()
2004   EXPECT_NEVER_OVERFLOWS(Zero.signedAddMayOverflow(Wrap));  in TEST_F()
2007   EXPECT_MAY_OVERFLOW(Full.signedAddMayOverflow(One));  in TEST_F()
2008   EXPECT_MAY_OVERFLOW(Wrap.signedAddMayOverflow(One));  in TEST_F()
2009   EXPECT_MAY_OVERFLOW(One.signedAddMayOverflow(Full));  in TEST_F()
2010   EXPECT_MAY_OVERFLOW(One.signedAddMayOverflow(Wrap));  in TEST_F()
2015   EXPECT_NEVER_OVERFLOWS(A.signedAddMayOverflow(B1));  in TEST_F()
2016   EXPECT_MAY_OVERFLOW(A.signedAddMayOverflow(B2));  in TEST_F()
2019   EXPECT_NEVER_OVERFLOWS(A.signedAddMayOverflow(B3));  in TEST_F()
2020   EXPECT_MAY_OVERFLOW(A.signedAddMayOverflow(B4));  in TEST_F()
2023   EXPECT_MAY_OVERFLOW(A.signedAddMayOverflow(B5));  in TEST_F()
2024   EXPECT_ALWAYS_OVERFLOWS_HIGH(A.signedAddMayOverflow(B6));  in TEST_F()
2029   EXPECT_NEVER_OVERFLOWS(C.signedAddMayOverflow(D1));  in TEST_F()
2030   EXPECT_MAY_OVERFLOW(C.signedAddMayOverflow(D2));  in TEST_F()
2033   EXPECT_NEVER_OVERFLOWS(C.signedAddMayOverflow(D3));  in TEST_F()
2034   EXPECT_MAY_OVERFLOW(C.signedAddMayOverflow(D4));  in TEST_F()
2037   EXPECT_MAY_OVERFLOW(C.signedAddMayOverflow(D5));  in TEST_F()
2038   EXPECT_ALWAYS_OVERFLOWS_LOW(C.signedAddMayOverflow(D6));  in TEST_F()
2041   EXPECT_NEVER_OVERFLOWS(E.signedAddMayOverflow(E));  in TEST_F()
2043   EXPECT_MAY_OVERFLOW(F.signedAddMayOverflow(F));  in TEST_F()
2193         return CR1.signedAddMayOverflow(CR2);  in TEST_F()