75 AWS_PRECONDITION(enc_ctx != NULL);
77 enc_ctx->p_impl == NULL || aws_hash_table_is_valid(enc_ctx),
78 "Input aws_hash_table [map] must be valid or hash_table_state pointer [map->p_impl] must be NULL, in case "
79 "aws_hash_table_clean_up was called twice.");
80 aws_hash_table_clean_up(enc_ctx);
81 AWS_POSTCONDITION(enc_ctx->p_impl == NULL);