Searched refs:POSIX_POSTCONDITION (Results 1 – 12 of 12) sorted by relevance
29 POSIX_POSTCONDITION(s2n_stuffer_validate(s2n_stuffer)); in s2n_stuffer_peek_char()40 POSIX_POSTCONDITION(s2n_stuffer_validate(s2n_stuffer)); in s2n_stuffer_peek_check_for_str()62 POSIX_POSTCONDITION(s2n_stuffer_validate(s2n_stuffer)); in s2n_stuffer_skip_whitespace()79 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_read_expected_str()106 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_skip_read_until()120 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_skip_to_char()141 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_skip_expected_char()157 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_read_line()158 POSIX_POSTCONDITION(s2n_stuffer_validate(token)); in s2n_stuffer_read_line()182 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_read_token()[all …]
78 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_init()91 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_alloc()101 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_growable_alloc()143 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_resize()155 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_resize_if_empty()164 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_rewrite()173 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_rewind_read()196 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_wipe_n()215 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_wipe()288 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_skip_write()[all …]
35 POSIX_POSTCONDITION(s2n_stuffer_validate(stuffer)); in s2n_stuffer_write_network_order()48 POSIX_POSTCONDITION(s2n_stuffer_reservation_validate(reservation)); in s2n_stuffer_reserve()182 POSIX_POSTCONDITION(s2n_stuffer_validate(reservation->stuffer)); in s2n_stuffer_write_reservation_impl()
123 POSIX_POSTCONDITION(s2n_stuffer_validate(pem)); in s2n_stuffer_data_from_pem()124 POSIX_POSTCONDITION(s2n_stuffer_validate(asn1)); in s2n_stuffer_data_from_pem()
44 POSIX_POSTCONDITION(s2n_blob_validate(b)); in s2n_blob_init()52 POSIX_POSTCONDITION(s2n_blob_validate(b)); in s2n_blob_zero()69 POSIX_POSTCONDITION(s2n_blob_validate(slice)); in s2n_blob_slice()79 POSIX_POSTCONDITION(s2n_blob_validate(b)); in s2n_blob_char_to_lower()133 POSIX_POSTCONDITION(s2n_blob_validate(blob)); in s2n_hex_string_to_bytes()
312 #define POSIX_POSTCONDITION(result) POSIX_GUARD_RESULT(__S2N_ENSURE_POSTC… macro
32 POSIX_POSTCONDITION(s2n_hmac_state_validate(to));33 POSIX_POSTCONDITION(s2n_hmac_state_validate(from));58 - POSIX_POSTCONDITION(s2n_hmac_state_validate(hmac));80 +// POSIX_POSTCONDITION(s2n_hmac_state_validate(hmac));
187 POSIX_POSTCONDITION(s2n_hmac_state_validate(state)); in s2n_hmac_new()366 POSIX_POSTCONDITION(s2n_hmac_state_validate(to)); in s2n_hmac_copy()367 POSIX_POSTCONDITION(s2n_hmac_state_validate(from)); in s2n_hmac_copy()394 POSIX_POSTCONDITION(s2n_hmac_state_validate(hmac)); in s2n_hmac_restore_evp_hash_state()
71 map POSTCONDITION_POSIX POSIX_POSTCONDITION
249 ### POSIX_POSTCONDITION(result)256 `POSIX_POSTCONDITION` should be used at the end of a function to make assertions about
464 POSIX_POSTCONDITION(s2n_stuffer_validate(&conn->out)); in s2n_connection_release_buffers()465 POSIX_POSTCONDITION(s2n_stuffer_validate(&conn->in)); in s2n_connection_release_buffers()
402 POSIX_POSTCONDITION(result); in POSIX_POSTCONDITION_harness()