Lines Matching defs:TransferTest

1 //===- unittests/Analysis/FlowSensitive/TransferTest.cpp ------------------===//
156 TEST(TransferTest, CNotSupported) {
166 TEST(TransferTest, ObjectiveCNotSupported) {
176 TEST(TransferTest, ObjectiveCXXNotSupported) {
186 TEST(TransferTest, IntVarDeclNotTrackedWhenTransferDisabled) {
209 TEST(TransferTest, BoolVarDecl) {
234 TEST(TransferTest, IntVarDecl) {
259 TEST(TransferTest, StructIncomplete) {
288 TEST(TransferTest, StructFieldUnmodeled) {
340 TEST(TransferTest, StructVarDecl) {
381 TEST(TransferTest, StructVarDeclWithInit) {
424 TEST(TransferTest, StructArrayVarDecl) {
446 TEST(TransferTest, ClassVarDecl) {
488 TEST(TransferTest, ReferenceVarDecl) {
514 TEST(TransferTest, SelfReferentialReferenceVarDecl) {
619 TEST(TransferTest, PointerVarDecl) {
649 TEST(TransferTest, SelfReferentialPointerVarDecl) {
763 TEST(TransferTest, DirectlySelfReferentialReference) {
785 TEST(TransferTest, MultipleVarsDecl) {
820 TEST(TransferTest, JoinVarDecl) {
874 TEST(TransferTest, BinaryOperatorAssign) {
903 TEST(TransferTest, BinaryOperatorAssignIntegerLiteral) {
928 TEST(TransferTest, VarDeclInitAssign) {
956 TEST(TransferTest, VarDeclInitAssignChained) {
989 TEST(TransferTest, VarDeclInitAssignPtrDeref) {
1025 TEST(TransferTest, AssignToAndFromReference) {
1076 TEST(TransferTest, MultipleParamDecls) {
1110 TEST(TransferTest, StructParamDecl) {
1150 TEST(TransferTest, ReferenceParamDecl) {
1174 TEST(TransferTest, PointerParamDecl) {
1202 TEST(TransferTest, StructMember) {
1248 TEST(TransferTest, StructMemberEnum) {
1270 TEST(TransferTest, DerivedBaseMemberClass) {
1403 TEST(TransferTest, DerivedBaseMemberStructDefault) {
1420 TEST(TransferTest, DerivedBaseMemberPrivateFriend) {
1441 TEST(TransferTest, ClassMember) {
1488 TEST(TransferTest, BaseClassInitializer) {
1530 TEST(TransferTest, FieldsDontHaveValuesInConstructor) {
1557 TEST(TransferTest, FieldsDontHaveValuesInConstructorWithBaseClass) {
1592 TEST(TransferTest, StructModeledFieldsWithAccessor) {
1650 TEST(TransferTest, StructModeledFieldsInTypeid) {
1693 TEST(TransferTest, StructModeledFieldsWithComplicatedInheritance) {
1741 TEST(TransferTest, StructInitializerListWithComplicatedInheritance) {
1786 TEST(TransferTest, ReferenceMember) {
1832 TEST(TransferTest, StructThisMember) {
1902 TEST(TransferTest, ClassThisMember) {
1972 TEST(TransferTest, UnionThisMember) {
2019 TEST(TransferTest, StructThisInLambda) {
2117 TEST(TransferTest, ConstructorInitializer) {
2149 TEST(TransferTest, DefaultInitializer) {
2182 TEST(TransferTest, DefaultInitializerReference) {
2217 TEST(TransferTest, TemporaryObject) {
2248 TEST(TransferTest, ElidableConstructor) {
2249 // This test is effectively the same as TransferTest.TemporaryObject, but
2282 TEST(TransferTest, AssignmentOperator) {
2369 TEST(TransferTest, AssignmentOperator_ArgByValue) {
2403 TEST(TransferTest, AssignmentOperatorFromBase) {
2444 TEST(TransferTest, AssignmentOperatorFromCallResult) {
2464 TEST(TransferTest, AssignmentOperatorWithInitAndInheritance) {
2484 TEST(TransferTest, AssignmentOperatorReturnsVoid) {
2502 TEST(TransferTest, AssignmentOperatorReturnsByValue) {
2550 TEST(TransferTest, AssignmentOperatorReturnsDifferentTypeByRef) {
2569 TEST(TransferTest, AssignmentOperatorReturnsDifferentTypeByValue) {
2588 TEST(TransferTest, InitListExprAsXValue) {
2606 TEST(TransferTest, ArrayInitListExprOneRecordElement) {
2621 TEST(TransferTest, InitListExprAsUnion) {
2652 TEST(TransferTest, EmptyInitListExprForUnion) {
2687 TEST(TransferTest, EmptyInitListExprForStruct) {
2720 TEST(TransferTest, CopyConstructor) {
2789 TEST(TransferTest, CopyConstructorWithDefaultArgument) {
2834 TEST(TransferTest, CopyConstructorWithParens) {
2877 TEST(TransferTest, CopyConstructorWithInitializerListAsSyntacticSugar) {
2910 TEST(TransferTest, CopyConstructorArgIsRefReturnedByFunction) {
2925 TEST(TransferTest, MoveConstructor) {
2994 TEST(TransferTest, BindTemporary) {
3030 TEST(TransferTest, ResultObjectLocation) {
3089 TEST(TransferTest, ResultObjectLocationForDefaultArgExpr) {
3123 TEST(TransferTest, ResultObjectLocationForDefaultInitExpr) {
3162 TEST(TransferTest, ResultObjectLocationForCXXOperatorCallExpr) {
3192 TEST(TransferTest, ResultObjectLocationForInitListExpr) {
3228 TEST(TransferTest, ResultObjectLocationForParenInitListExpr) {
3267 TEST(TransferTest, ResultObjectLocationForBuiltinSpaceshipOperator) {
3317 TEST(TransferTest, ResultObjectLocationForStdInitializerListExpr) {
3349 TEST(TransferTest, ResultObjectLocationForStmtExpr) {
3375 TEST(TransferTest, ResultObjectLocationForBuiltinBitCastExpr) {
3401 TEST(TransferTest, ResultObjectLocationForAtomicExpr) {
3427 TEST(TransferTest, ResultObjectLocationPropagatesThroughConditionalOperator) {
3468 TEST(TransferTest, ResultObjectLocationDontVisitNestedRecordDecl) {
3490 TEST(TransferTest, ResultObjectLocationDontVisitUnevaluatedContexts) {
3544 TEST(TransferTest, StaticCast) {
3572 TEST(TransferTest, IntegralCast) {
3591 TEST(TransferTest, IntegraltoBooleanCast) {
3611 TEST(TransferTest, IntegralToBooleanCastFromBool) {
3631 TEST(TransferTest, WidenBoolValueInIntegerVariable) {
3655 TEST(TransferTest, NullToPointerCast) {
3720 TEST(TransferTest, PointerToMemberVariable) {
3743 TEST(TransferTest, PointerToMemberFunction) {
3766 TEST(TransferTest, NullToMemberPointerCast) {
3788 TEST(TransferTest, AddrOfValue) {
3816 TEST(TransferTest, AddrOfReference) {
3842 TEST(TransferTest, Preincrement) {
3868 TEST(TransferTest, Postincrement) {
3895 TEST(TransferTest, AddAssign) {
3913 TEST(TransferTest, CannotAnalyzeFunctionTemplate) {
3923 TEST(TransferTest, CannotAnalyzeMethodOfClassTemplate) {
3935 TEST(TransferTest, VarDeclInitAssignConditionalOperator) {
3969 TEST(TransferTest, VarDeclInDoWhile) {
4007 TEST(TransferTest, UnreachableAfterWhileTrue) {
4025 TEST(TransferTest, AggregateInitialization) {
4116 TEST(TransferTest, AggregateInitializationReferenceField) {
4142 TEST(TransferTest, AggregateInitialization_NotExplicitlyInitializedField) {
4175 TEST(TransferTest, AggregateInitializationFunctionPointer) {
4195 TEST(TransferTest, AssignToUnionMember) {
4245 TEST(TransferTest, AssignFromBoolLiteral) {
4279 TEST(TransferTest, AssignFromCompositeBoolExpression) {
4430 TEST(TransferTest, AssignFromBoolNegation) {
4463 TEST(TransferTest, BuiltinExpect) {
4490 TEST(TransferTest, BuiltinExpectBoolArg) {
4514 TEST(TransferTest, BuiltinUnreachable) {
4546 TEST(TransferTest, BuiltinTrap) {
4577 TEST(TransferTest, BuiltinDebugTrap) {
4607 TEST(TransferTest, StaticIntSingleVarDecl) {
4632 TEST(TransferTest, StaticIntGroupVarDecl) {
4669 TEST(TransferTest, GlobalIntVarDecl) {
4698 TEST(TransferTest, StaticMemberIntVarDecl) {
4729 TEST(TransferTest, StaticMemberRefVarDecl) {
4760 TEST(TransferTest, AssignMemberBeforeCopy) {
4802 TEST(TransferTest, BooleanEquality) {
4836 TEST(TransferTest, BooleanInequality) {
4870 TEST(TransferTest, PointerEquality) {
4930 TEST(TransferTest, PointerEqualityUnionMembers) {
4958 TEST(TransferTest, IntegerLiteralEquality) {
4977 TEST(TransferTest, CorrelatedBranches) {
5027 TEST(TransferTest, LoopWithAssignmentConverges) {
5058 TEST(TransferTest, LoopWithStagedAssignments) {
5095 TEST(TransferTest, LoopWithReferenceAssignmentConverges) {
5125 TEST(TransferTest, LoopWithStructReferenceAssignmentConverges) {
5178 TEST(TransferTest, LoopDereferencingChangingPointerConverges) {
5196 TEST(TransferTest, LoopDereferencingChangingRecordPointerConverges) {
5218 TEST(TransferTest, LoopWithShortCircuitedConditionConverges) {
5232 TEST(TransferTest, LoopCanProveInvariantForBoolean) {
5260 TEST(TransferTest, DoesNotCrashOnUnionThisExpr) {
5282 TEST(TransferTest, DoesNotCrashOnNullChildren) {
5298 TEST(TransferTest, StructuredBindingAssignFromStructIntMembersToRefs) {
5358 TEST(TransferTest, StructuredBindingAssignFromStructRefMembersToRefs) {
5417 TEST(TransferTest, StructuredBindingAssignFromStructIntMembersToInts) {
5477 TEST(TransferTest, StructuredBindingAssignFromTupleLikeType) {
5558 TEST(TransferTest, StructuredBindingAssignRefFromTupleLikeType) {
5640 TEST(TransferTest, BinaryOperatorComma) {
5668 TEST(TransferTest, ConditionalOperatorValue) {
5702 TEST(TransferTest, ConditionalOperatorLocation) {
5729 TEST(TransferTest, ConditionalOperatorOnConstantExpr) {
5761 TEST(TransferTest, IfStmtBranchExtendsFlowCondition) {
5794 TEST(TransferTest, WhileStmtBranchExtendsFlowCondition) {
5828 TEST(TransferTest, DoWhileStmtBranchExtendsFlowCondition) {
5871 TEST(TransferTest, ForStmtBranchExtendsFlowCondition) {
5905 TEST(TransferTest, ForStmtBranchWithoutConditionDoesNotExtendFlowCondition) {
5930 TEST(TransferTest, ContextSensitiveOptionDisabled) {
5958 TEST(TransferTest, ContextSensitiveReturnReference) {
5984 TEST(TransferTest, ContextSensitiveReturnReferenceWithConditionalOperator) {
6013 TEST(TransferTest, ContextSensitiveReturnOneOfTwoReferences) {
6064 TEST(TransferTest, ContextSensitiveDepthZero) {
6092 TEST(TransferTest, ContextSensitiveSetTrue) {
6119 TEST(TransferTest, ContextSensitiveSetFalse) {
6146 TEST(TransferTest, ContextSensitiveSetBothTrueAndFalse) {
6184 TEST(TransferTest, ContextSensitiveSetTwoLayersDepthOne) {
6213 TEST(TransferTest, ContextSensitiveSetTwoLayersDepthTwo) {
6241 TEST(TransferTest, ContextSensitiveSetThreeLayersDepthTwo) {
6271 TEST(TransferTest, ContextSensitiveSetThreeLayersDepthThree) {
6300 TEST(TransferTest, ContextSensitiveMutualRecursion) {
6344 TEST(TransferTest, ContextSensitiveSetMultipleLines) {
6382 TEST(TransferTest, ContextSensitiveSetMultipleBlocks) {
6424 TEST(TransferTest, ContextSensitiveReturnVoid) {
6443 TEST(TransferTest, ContextSensitiveReturnTrue) {
6468 TEST(TransferTest, ContextSensitiveReturnFalse) {
6493 TEST(TransferTest, ContextSensitiveReturnArg) {
6521 TEST(TransferTest, ContextSensitiveReturnInt) {
6540 TEST(TransferTest, ContextSensitiveReturnRecord) {
6573 TEST(TransferTest, ContextSensitiveReturnSelfReferentialRecord) {
6605 TEST(TransferTest, ContextSensitiveMethodLiteral) {
6634 TEST(TransferTest, ContextSensitiveMethodGetter) {
6666 TEST(TransferTest, ContextSensitiveMethodSetter) {
6698 TEST(TransferTest, ContextSensitiveMethodGetterAndSetter) {
6733 TEST(TransferTest, ContextSensitiveMethodTwoLayersVoid) {
6767 TEST(TransferTest, ContextSensitiveMethodTwoLayersReturn) {
6801 TEST(TransferTest, ContextSensitiveConstructorBody) {
6832 TEST(TransferTest, ContextSensitiveConstructorInitializer) {
6863 TEST(TransferTest, ContextSensitiveConstructorDefault) {
6894 TEST(TransferTest, ContextSensitiveSelfReferentialClass) {
6929 TEST(TransferTest, UnnamedBitfieldInitializer) {
6955 TEST(TransferTest, ChainedLogicalOps) {
6975 TEST(TransferTest, NoReturnFunctionInsideShortCircuitedBooleanOp) {
7041 TEST(TransferTest, NewExpressions) {
7061 TEST(TransferTest, NewExpressions_Structs) {
7100 TEST(TransferTest, FunctionToPointerDecayHasValue) {
7141 TEST(TransferTest, BuiltinFunctionModeled) {
7179 TEST(TransferTest, MemberOperatorCallModelsPointerForCallee) {
7226 TEST(TransferTest, AnonymousStruct) {
7258 TEST(TransferTest, AnonymousStructWithInitializer) {
7289 TEST(TransferTest, AnonymousStructWithReferenceField) {
7322 TEST(TransferTest, EvaluateBlockWithUnreachablePreds) {
7342 TEST(TransferTest, LambdaCaptureByCopy) {
7375 TEST(TransferTest, LambdaCaptureByReference) {
7408 TEST(TransferTest, LambdaCaptureWithInitializer) {
7441 TEST(TransferTest, LambdaCaptureByCopyImplicit) {
7476 TEST(TransferTest, LambdaCaptureByReferenceImplicit) {
7511 TEST(TransferTest, LambdaCaptureThis) {
7548 TEST(TransferTest, ConditionalRelation) {
7580 TEST(TransferTest, AnonymousUnionMemberExprInTemplate) {