ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sockaddr_storage Struct Reference

#include <socket.h>

Public Attributes

sa_family_t ss_family
char __ss_pad1 [6]
int64_t __ss_align
char __ss_pad2 [112]

Member Data Documentation

◆ __ss_align

int64_t sockaddr_storage::__ss_align

◆ __ss_pad1

char sockaddr_storage::__ss_pad1[6]

◆ __ss_pad2

char sockaddr_storage::__ss_pad2[112]

◆ ss_family

sa_family_t sockaddr_storage::ss_family

The documentation for this struct was generated from the following file: