| H A D | TransferTest.cpp | 156 TEST(TransferTest, CNotSupported) { in TEST() argument
166 TEST(TransferTest, ObjectiveCNotSupported) { in TEST() argument
176 TEST(TransferTest, ObjectiveCXXNotSupported) { in TEST() argument
146 TEST(TransferTest,CNotSupported) TEST() argument
199 TEST(TransferTest,BoolVarDecl) TEST() argument
224 TEST(TransferTest,IntVarDecl) TEST() argument
249 TEST(TransferTest,StructIncomplete) TEST() argument
278 TEST(TransferTest,StructFieldUnmodeled) TEST() argument
330 TEST(TransferTest,StructVarDecl) TEST() argument
371 TEST(TransferTest,StructVarDeclWithInit) TEST() argument
414 TEST(TransferTest,StructArrayVarDecl) TEST() argument
436 TEST(TransferTest,ClassVarDecl) TEST() argument
478 TEST(TransferTest,ReferenceVarDecl) TEST() argument
504 TEST(TransferTest,SelfReferentialReferenceVarDecl) TEST() argument
609 TEST(TransferTest,PointerVarDecl) TEST() argument
639 TEST(TransferTest,SelfReferentialPointerVarDecl) TEST() argument
753 TEST(TransferTest,DirectlySelfReferentialReference) TEST() argument
775 TEST(TransferTest,MultipleVarsDecl) TEST() argument
810 TEST(TransferTest,JoinVarDecl) TEST() argument
864 TEST(TransferTest,BinaryOperatorAssign) TEST() argument
893 TEST(TransferTest,BinaryOperatorAssignIntegerLiteral) TEST() argument
918 TEST(TransferTest,VarDeclInitAssign) TEST() argument
946 TEST(TransferTest,VarDeclInitAssignChained) TEST() argument
979 TEST(TransferTest,VarDeclInitAssignPtrDeref) TEST() argument
1015 TEST(TransferTest,AssignToAndFromReference) TEST() argument
1066 TEST(TransferTest,MultipleParamDecls) TEST() argument
1100 TEST(TransferTest,StructParamDecl) TEST() argument
1140 TEST(TransferTest,ReferenceParamDecl) TEST() argument
1164 TEST(TransferTest,PointerParamDecl) TEST() argument
1192 TEST(TransferTest,StructMember) TEST() argument
1238 TEST(TransferTest,StructMemberEnum) TEST() argument
1260 TEST(TransferTest,DerivedBaseMemberClass) TEST() argument
1393 TEST(TransferTest,DerivedBaseMemberStructDefault) TEST() argument
1410 TEST(TransferTest,DerivedBaseMemberPrivateFriend) TEST() argument
1431 TEST(TransferTest,ClassMember) TEST() argument
1478 TEST(TransferTest,BaseClassInitializer) TEST() argument
1520 TEST(TransferTest,FieldsDontHaveValuesInConstructor) TEST() argument
1547 TEST(TransferTest,FieldsDontHaveValuesInConstructorWithBaseClass) TEST() argument
1582 TEST(TransferTest,StructModeledFieldsWithAccessor) TEST() argument
1640 TEST(TransferTest,StructModeledFieldsWithComplicatedInheritance) TEST() argument
1688 TEST(TransferTest,StructInitializerListWithComplicatedInheritance) TEST() argument
1733 TEST(TransferTest,ReferenceMember) TEST() argument
1779 TEST(TransferTest,StructThisMember) TEST() argument
1849 TEST(TransferTest,ClassThisMember) TEST() argument
1919 TEST(TransferTest,UnionThisMember) TEST() argument
1966 TEST(TransferTest,StructThisInLambda) TEST() argument
2064 TEST(TransferTest,ConstructorInitializer) TEST() argument
2096 TEST(TransferTest,DefaultInitializer) TEST() argument
2129 TEST(TransferTest,DefaultInitializerReference) TEST() argument
2164 TEST(TransferTest,TemporaryObject) TEST() argument
2195 TEST(TransferTest,ElidableConstructor) TEST() argument
2229 TEST(TransferTest,AssignmentOperator) TEST() argument
2316 TEST(TransferTest,AssignmentOperator_ArgByValue) TEST() argument
2350 TEST(TransferTest,AssignmentOperatorFromBase) TEST() argument
2391 TEST(TransferTest,AssignmentOperatorFromCallResult) TEST() argument
2411 TEST(TransferTest,AssignmentOperatorWithInitAndInheritance) TEST() argument
2431 TEST(TransferTest,AssignmentOperatorReturnsVoid) TEST() argument
2449 TEST(TransferTest,AssignmentOperatorReturnsByValue) TEST() argument
2497 TEST(TransferTest,AssignmentOperatorReturnsDifferentTypeByRef) TEST() argument
2516 TEST(TransferTest,AssignmentOperatorReturnsDifferentTypeByValue) TEST() argument
2535 TEST(TransferTest,InitListExprAsXValue) TEST() argument
2553 TEST(TransferTest,ArrayInitListExprOneRecordElement) TEST() argument
2568 TEST(TransferTest,InitListExprAsUnion) TEST() argument
2599 TEST(TransferTest,EmptyInitListExprForUnion) TEST() argument
2634 TEST(TransferTest,EmptyInitListExprForStruct) TEST() argument
2667 TEST(TransferTest,CopyConstructor) TEST() argument
2736 TEST(TransferTest,CopyConstructorWithDefaultArgument) TEST() argument
2781 TEST(TransferTest,CopyConstructorWithParens) TEST() argument
2824 TEST(TransferTest,CopyConstructorWithInitializerListAsSyntacticSugar) TEST() argument
2857 TEST(TransferTest,CopyConstructorArgIsRefReturnedByFunction) TEST() argument
2872 TEST(TransferTest,MoveConstructor) TEST() argument
2941 TEST(TransferTest,BindTemporary) TEST() argument
2977 TEST(TransferTest,ResultObjectLocation) TEST() argument
3036 TEST(TransferTest,ResultObjectLocationForDefaultArgExpr) TEST() argument
3070 TEST(TransferTest,ResultObjectLocationForDefaultInitExpr) TEST() argument
3109 TEST(TransferTest,ResultObjectLocationForCXXOperatorCallExpr) TEST() argument
3139 TEST(TransferTest,ResultObjectLocationForInitListExpr) TEST() argument
3175 TEST(TransferTest,ResultObjectLocationForParenInitListExpr) TEST() argument
3214 TEST(TransferTest,ResultObjectLocationForBuiltinSpaceshipOperator) TEST() argument
3264 TEST(TransferTest,ResultObjectLocationForStdInitializerListExpr) TEST() argument
3296 TEST(TransferTest,ResultObjectLocationForStmtExpr) TEST() argument
3322 TEST(TransferTest,ResultObjectLocationForBuiltinBitCastExpr) TEST() argument
3348 TEST(TransferTest,ResultObjectLocationForAtomicExpr) TEST() argument
3374 TEST(TransferTest,ResultObjectLocationPropagatesThroughConditionalOperator) TEST() argument
3415 TEST(TransferTest,ResultObjectLocationDontVisitNestedRecordDecl) TEST() argument
3437 TEST(TransferTest,ResultObjectLocationDontVisitUnevaluatedContexts) TEST() argument
3491 TEST(TransferTest,StaticCast) TEST() argument
3519 TEST(TransferTest,IntegralCast) TEST() argument
3538 TEST(TransferTest,IntegraltoBooleanCast) TEST() argument
3558 TEST(TransferTest,IntegralToBooleanCastFromBool) TEST() argument
3578 TEST(TransferTest,WidenBoolValueInIntegerVariable) TEST() argument
3602 TEST(TransferTest,NullToPointerCast) TEST() argument
3667 TEST(TransferTest,PointerToMemberVariable) TEST() argument
3690 TEST(TransferTest,PointerToMemberFunction) TEST() argument
3713 TEST(TransferTest,NullToMemberPointerCast) TEST() argument
3735 TEST(TransferTest,AddrOfValue) TEST() argument
3763 TEST(TransferTest,AddrOfReference) TEST() argument
3789 TEST(TransferTest,Preincrement) TEST() argument
3815 TEST(TransferTest,Postincrement) TEST() argument
3842 TEST(TransferTest,AddAssign) TEST() argument
3860 TEST(TransferTest,CannotAnalyzeFunctionTemplate) TEST() argument
3870 TEST(TransferTest,CannotAnalyzeMethodOfClassTemplate) TEST() argument
3882 TEST(TransferTest,VarDeclInitAssignConditionalOperator) TEST() argument
3916 TEST(TransferTest,VarDeclInDoWhile) TEST() argument
3954 TEST(TransferTest,UnreachableAfterWhileTrue) TEST() argument
3972 TEST(TransferTest,AggregateInitialization) TEST() argument
4063 TEST(TransferTest,AggregateInitializationReferenceField) TEST() argument
4089 TEST(TransferTest,AggregateInitialization_NotExplicitlyInitializedField) TEST() argument
4122 TEST(TransferTest,AggregateInitializationFunctionPointer) TEST() argument
4142 TEST(TransferTest,AssignToUnionMember) TEST() argument
4192 TEST(TransferTest,AssignFromBoolLiteral) TEST() argument
4226 TEST(TransferTest,AssignFromCompositeBoolExpression) TEST() argument
4377 TEST(TransferTest,AssignFromBoolNegation) TEST() argument
4410 TEST(TransferTest,BuiltinExpect) TEST() argument
4437 TEST(TransferTest,BuiltinExpectBoolArg) TEST() argument
4461 TEST(TransferTest,BuiltinUnreachable) TEST() argument
4493 TEST(TransferTest,BuiltinTrap) TEST() argument
4524 TEST(TransferTest,BuiltinDebugTrap) TEST() argument
4554 TEST(TransferTest,StaticIntSingleVarDecl) TEST() argument
4579 TEST(TransferTest,StaticIntGroupVarDecl) TEST() argument
4616 TEST(TransferTest,GlobalIntVarDecl) TEST() argument
4645 TEST(TransferTest,StaticMemberIntVarDecl) TEST() argument
4676 TEST(TransferTest,StaticMemberRefVarDecl) TEST() argument
4707 TEST(TransferTest,AssignMemberBeforeCopy) TEST() argument
4749 TEST(TransferTest,BooleanEquality) TEST() argument
4783 TEST(TransferTest,BooleanInequality) TEST() argument
4817 TEST(TransferTest,PointerEquality) TEST() argument
4877 TEST(TransferTest,PointerEqualityUnionMembers) TEST() argument
4905 TEST(TransferTest,IntegerLiteralEquality) TEST() argument
4924 TEST(TransferTest,CorrelatedBranches) TEST() argument
4974 TEST(TransferTest,LoopWithAssignmentConverges) TEST() argument
5005 TEST(TransferTest,LoopWithStagedAssignments) TEST() argument
5042 TEST(TransferTest,LoopWithReferenceAssignmentConverges) TEST() argument
5072 TEST(TransferTest,LoopWithStructReferenceAssignmentConverges) TEST() argument
5125 TEST(TransferTest,LoopDereferencingChangingPointerConverges) TEST() argument
5143 TEST(TransferTest,LoopDereferencingChangingRecordPointerConverges) TEST() argument
5165 TEST(TransferTest,LoopWithShortCircuitedConditionConverges) TEST() argument
5179 TEST(TransferTest,LoopCanProveInvariantForBoolean) TEST() argument
5207 TEST(TransferTest,DoesNotCrashOnUnionThisExpr) TEST() argument
5229 TEST(TransferTest,DoesNotCrashOnNullChildren) TEST() argument
5245 TEST(TransferTest,StructuredBindingAssignFromStructIntMembersToRefs) TEST() argument
5305 TEST(TransferTest,StructuredBindingAssignFromStructRefMembersToRefs) TEST() argument
5364 TEST(TransferTest,StructuredBindingAssignFromStructIntMembersToInts) TEST() argument
5424 TEST(TransferTest,StructuredBindingAssignFromTupleLikeType) TEST() argument
5505 TEST(TransferTest,StructuredBindingAssignRefFromTupleLikeType) TEST() argument
5587 TEST(TransferTest,BinaryOperatorComma) TEST() argument
5615 TEST(TransferTest,ConditionalOperatorValue) TEST() argument
5649 TEST(TransferTest,ConditionalOperatorLocation) TEST() argument
5676 TEST(TransferTest,ConditionalOperatorOnConstantExpr) TEST() argument
5708 TEST(TransferTest,IfStmtBranchExtendsFlowCondition) TEST() argument
5741 TEST(TransferTest,WhileStmtBranchExtendsFlowCondition) TEST() argument
5775 TEST(TransferTest,DoWhileStmtBranchExtendsFlowCondition) TEST() argument
5818 TEST(TransferTest,ForStmtBranchExtendsFlowCondition) TEST() argument
5852 TEST(TransferTest,ForStmtBranchWithoutConditionDoesNotExtendFlowCondition) TEST() argument
5877 TEST(TransferTest,ContextSensitiveOptionDisabled) TEST() argument
5905 TEST(TransferTest,ContextSensitiveReturnReference) TEST() argument
5931 TEST(TransferTest,ContextSensitiveReturnReferenceWithConditionalOperator) TEST() argument
5960 TEST(TransferTest,ContextSensitiveReturnOneOfTwoReferences) TEST() argument
6011 TEST(TransferTest,ContextSensitiveDepthZero) TEST() argument
6039 TEST(TransferTest,ContextSensitiveSetTrue) TEST() argument
6066 TEST(TransferTest,ContextSensitiveSetFalse) TEST() argument
6093 TEST(TransferTest,ContextSensitiveSetBothTrueAndFalse) TEST() argument
6131 TEST(TransferTest,ContextSensitiveSetTwoLayersDepthOne) TEST() argument
6160 TEST(TransferTest,ContextSensitiveSetTwoLayersDepthTwo) TEST() argument
6188 TEST(TransferTest,ContextSensitiveSetThreeLayersDepthTwo) TEST() argument
6218 TEST(TransferTest,ContextSensitiveSetThreeLayersDepthThree) TEST() argument
6247 TEST(TransferTest,ContextSensitiveMutualRecursion) TEST() argument
6291 TEST(TransferTest,ContextSensitiveSetMultipleLines) TEST() argument
6329 TEST(TransferTest,ContextSensitiveSetMultipleBlocks) TEST() argument
6371 TEST(TransferTest,ContextSensitiveReturnVoid) TEST() argument
6390 TEST(TransferTest,ContextSensitiveReturnTrue) TEST() argument
6415 TEST(TransferTest,ContextSensitiveReturnFalse) TEST() argument
6440 TEST(TransferTest,ContextSensitiveReturnArg) TEST() argument
6468 TEST(TransferTest,ContextSensitiveReturnInt) TEST() argument
6487 TEST(TransferTest,ContextSensitiveReturnRecord) TEST() argument
6520 TEST(TransferTest,ContextSensitiveReturnSelfReferentialRecord) TEST() argument
6552 TEST(TransferTest,ContextSensitiveMethodLiteral) TEST() argument
6581 TEST(TransferTest,ContextSensitiveMethodGetter) TEST() argument
6613 TEST(TransferTest,ContextSensitiveMethodSetter) TEST() argument
6645 TEST(TransferTest,ContextSensitiveMethodGetterAndSetter) TEST() argument
6680 TEST(TransferTest,ContextSensitiveMethodTwoLayersVoid) TEST() argument
6714 TEST(TransferTest,ContextSensitiveMethodTwoLayersReturn) TEST() argument
6748 TEST(TransferTest,ContextSensitiveConstructorBody) TEST() argument
6779 TEST(TransferTest,ContextSensitiveConstructorInitializer) TEST() argument
6810 TEST(TransferTest,ContextSensitiveConstructorDefault) TEST() argument
6841 TEST(TransferTest,ContextSensitiveSelfReferentialClass) TEST() argument
6876 TEST(TransferTest,UnnamedBitfieldInitializer) TEST() argument
6902 TEST(TransferTest,ChainedLogicalOps) TEST() argument
6922 TEST(TransferTest,NoReturnFunctionInsideShortCircuitedBooleanOp) TEST() argument
6988 TEST(TransferTest,NewExpressions) TEST() argument
7008 TEST(TransferTest,NewExpressions_Structs) TEST() argument
7047 TEST(TransferTest,FunctionToPointerDecayHasValue) TEST() argument
7088 TEST(TransferTest,BuiltinFunctionModeled) TEST() argument
7126 TEST(TransferTest,MemberOperatorCallModelsPointerForCallee) TEST() argument
7173 TEST(TransferTest,AnonymousStruct) TEST() argument
7205 TEST(TransferTest,AnonymousStructWithInitializer) TEST() argument
7236 TEST(TransferTest,AnonymousStructWithReferenceField) TEST() argument
7269 TEST(TransferTest,EvaluateBlockWithUnreachablePreds) TEST() argument
7289 TEST(TransferTest,LambdaCaptureByCopy) TEST() argument
7322 TEST(TransferTest,LambdaCaptureByReference) TEST() argument
7355 TEST(TransferTest,LambdaCaptureWithInitializer) TEST() argument
7388 TEST(TransferTest,LambdaCaptureByCopyImplicit) TEST() argument
7423 TEST(TransferTest,LambdaCaptureByReferenceImplicit) TEST() argument
7458 TEST(TransferTest,LambdaCaptureThis) TEST() argument
7495 TEST(TransferTest,ConditionalRelation) TEST() argument
7527 TEST(TransferTest,AnonymousUnionMemberExprInTemplate) TEST() argument
[all...] |