65 AWS_PRECONDITION(enc_ctx != NULL);
67 enc_ctx->p_impl == NULL || aws_hash_table_is_valid(enc_ctx),
68 "Input aws_hash_table [map] must be valid or hash_table_state pointer [map->p_impl] must be NULL, in case "
69 "aws_hash_table_clean_up was called twice.");
70 aws_hash_table_clean_up(enc_ctx);
71 AWS_POSTCONDITION(enc_ctx->p_impl == NULL);