Searched refs:pConnectArgs (Results 1 – 7 of 7) sorted by relevance
36 MQTTAgentConnectArgs_t * pConnectArgs; in harness() local42 pConnectArgs = allocateConnectArgs( NULL ); in harness()43 __CPROVER_assume( pConnectArgs != NULL ); in harness()44 MQTTAgentCommand_Connect( pMqttAgentContext, pConnectArgs, pReturnFlags ); in harness()
153 MQTTAgentConnectArgs_t * allocateConnectArgs( MQTTAgentConnectArgs_t * pConnectArgs ) in allocateConnectArgs() argument155 if( pConnectArgs == NULL ) in allocateConnectArgs()157 pConnectArgs = malloc( sizeof( MQTTAgentConnectArgs_t ) ); in allocateConnectArgs()158 __CPROVER_assume( pConnectArgs != NULL ); in allocateConnectArgs()161 pConnectArgs->pConnectInfo = malloc( sizeof( MQTTConnectInfo_t ) ); in allocateConnectArgs()162 __CPROVER_assume( pConnectArgs->pConnectInfo != NULL ); in allocateConnectArgs()163 pConnectArgs->pWillInfo = malloc( sizeof( MQTTPublishInfo_t ) ); in allocateConnectArgs()165 return pConnectArgs; in allocateConnectArgs()
32 MQTTAgentConnectArgs_t * pConnectArgs; in harness() local39 pConnectArgs = malloc( sizeof( MQTTAgentConnectArgs_t ) ); in harness()43 pConnectArgs, in harness()
102 MQTTAgentConnectArgs_t * allocateConnectArgs( MQTTAgentConnectArgs_t * pConnectArgs );
131 void * pConnectArgs, in MQTTAgentCommand_Connect() argument137 pConnectArgs, in MQTTAgentCommand_Connect()
912 const MQTTAgentConnectArgs_t * pConnectArgs = NULL; in validateParams() local921 pConnectArgs = ( const MQTTAgentConnectArgs_t * ) pParams; in validateParams()922 ret = ( ( pConnectArgs != NULL ) && in validateParams()923 ( pConnectArgs->pConnectInfo != NULL ) ); in validateParams()1229 MQTTAgentConnectArgs_t * pConnectArgs, in MQTTAgent_Connect() argument1236 validateParams( CONNECT, pConnectArgs ); in MQTTAgent_Connect()1242 pConnectArgs, in MQTTAgent_Connect()
829 MQTTAgentConnectArgs_t * pConnectArgs,
