Closed
Description
Hit an assertion failure when converting the s2nc target of s2n (https://github.com/DhananjayAshok/s2n-tls)
Haven't triaged yet
Crashlog
/home/aeline/checkedc-clang/clang/lib/3C/ConstraintResolver.cpp:557: CSetBkeyPair ConstraintResolver::getExprConstraintVars(clang::Expr*): Assertion `"InitlistExpr of type other than array or pointer in " "getExprConstraintVars" && ILE->getType()->isPointerType()' failed
/home/aeline/build//bin/3c(+0xb9d8a5)[0x55bb443458a5]
/home/aeline/build//bin/3c(+0xb9d938)[0x55bb44345938]
/home/aeline/build//bin/3c(+0xb9b6d5)[0x55bb443436d5]
/home/aeline/build//bin/3c(+0xb9d222)[0x55bb44345222]
/lib/x86_64-linux-gnu/libpthread.so.0(+0x12980)[0x7fc7aca12980]
/lib/x86_64-linux-gnu/libc.so.6(gsignal+0xc7)[0x7fc7ab6c3fb7]
/lib/x86_64-linux-gnu/libc.so.6(abort+0x141)[0x7fc7ab6c5921]
/lib/x86_64-linux-gnu/libc.so.6(+0x3048a)[0x7fc7ab6b548a]
/lib/x86_64-linux-gnu/libc.so.6(+0x30502)[0x7fc7ab6b5502]
/home/aeline/build//bin/3c(+0xf523d3)[0x55bb446fa3d3]
/home/aeline/build//bin/3c(+0xf5245e)[0x55bb446fa45e]
/home/aeline/build//bin/3c(+0xf504bc)[0x55bb446f84bc]
/home/aeline/build//bin/3c(+0xf505b5)[0x55bb446f85b5]
/home/aeline/build//bin/3c(+0xf52ba5)[0x55bb446faba5]
/home/aeline/build//bin/3c(+0xbfe0b1)[0x55bb443a60b1]
/home/aeline/build//bin/3c(+0xc87292)[0x55bb4442f292]
/home/aeline/build//bin/3c(+0xc8707d)[0x55bb4442f07d]
/home/aeline/build//bin/3c(+0xc2e533)[0x55bb443d6533]
/home/aeline/build//bin/3c(+0xc09439)[0x55bb443b1439]
/home/aeline/build//bin/3c(+0xbfeeba)[0x55bb443a6eba]
/home/aeline/build//bin/3c(+0xcc3eb4)[0x55bb4446beb4]
/home/aeline/build//bin/3c(+0xc5983d)[0x55bb4440183d]
/home/aeline/build//bin/3c(+0xc0ef96)[0x55bb443b6f96]
/home/aeline/build//bin/3c(+0xbe3d43)[0x55bb4438bd43]
/home/aeline/build//bin/3c(+0xbc077c)[0x55bb4436877c]
/home/aeline/build//bin/3c(+0x64b82b)[0x55bb43df382b]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xe7)[0x7fc7ab6a6bf7]
/home/aeline/build//bin/3c(+0x64afda)[0x55bb43df2fda]
./convert.sh: line 256: 14201 Aborted (core dumped) /home/aeline/build//bin/3c -dump-stats -alltypes -p $BASEDIR/compile_commands.json -extra-arg=-w -base-dir=$BASEDIR -output-dir=$BASEDIR/out.checked $BASEDIR/utils/s2n_safety.c $BASEDIR/tls/s2n_server_hello.c $BASEDIR/tls/extensions/s2n_client_pq_kem.c $BASEDIR/tls/s2n_handshake.c $BASEDIR/tls/extensions/s2n_client_key_share.c $BASEDIR/utils/s2n_map.c $BASEDIR/tls/s2n_server_hello_retry.c $BASEDIR/utils/s2n_result.c $BASEDIR/crypto/s2n_stream_cipher_null.c $BASEDIR/pq-crypto/bike_r1/gf2x_portable.c $BASEDIR/utils/s2n_socket.c $BASEDIR/pq-crypto/kyber_90s_r2/sha2_c.c $BASEDIR/stuffer/s2n_stuffer_pem.c $BASEDIR/tls/s2n_record_read_aead.c $BASEDIR/pq-crypto/kyber_90s_r2/ntt.c $BASEDIR/tls/extensions/s2n_client_supported_groups.c $BASEDIR/pq-crypto/bike_r3/error.c $BASEDIR/pq-crypto/sike_r3/sikep434r3_ec_isogeny.c $BASEDIR/pq-crypto/kyber_r2/verify.c $BASEDIR/tls/extensions/s2n_client_renegotiation_info.c $BASEDIR/utils/s2n_asn1_time.c $BASEDIR/tls/extensions/s2n_extension_type.c $BASEDIR/tls/s2n_auth_selection.c $BASEDIR/tls/s2n_key_update.c $BASEDIR/tls/s2n_encrypted_extensions.c $BASEDIR/pq-crypto/bike_r1/utilities.c $BASEDIR/tls/s2n_server_extensions.c $BASEDIR/tls/extensions/s2n_server_alpn.c $BASEDIR/pq-crypto/bike_r3/gf2x_mul_avx2.c $BASEDIR/pq-crypto/bike_r3/gf2x_ksqr_portable.c $BASEDIR/pq-crypto/bike_r3/sampling.c $BASEDIR/pq-crypto/bike_r3/sampling_portable.c $BASEDIR/tls/extensions/s2n_ec_point_format.c $BASEDIR/pq-crypto/sike_r3/sikep434r3_sidh.c $BASEDIR/crypto/s2n_ecdsa.c $BASEDIR/pq-crypto/kyber_r2/polyvec.c $BASEDIR/pq-crypto/bike_r1/gf2x_mul.c $BASEDIR/utils/s2n_array.c $BASEDIR/tls/s2n_tls.c $BASEDIR/pq-crypto/bike_r2/utilities.c $BASEDIR/utils/s2n_str.c $BASEDIR/pq-crypto/kyber_r3/kyber512r3_poly.c $BASEDIR/tls/extensions/s2n_server_key_share.c $BASEDIR/pq-crypto/bike_r3/decode_portable.c $BASEDIR/pq-crypto/bike_r3/sampling_avx2.c $BASEDIR/pq-crypto/kyber_r2/kyber_r2_kem.c $BASEDIR/tls/s2n_connection.c $BASEDIR/pq-crypto/sike_r3/sikep434r3_fips202.c $BASEDIR/pq-crypto/bike_r2/decode.c $BASEDIR/tls/s2n_client_finished.c $BASEDIR/tls/s2n_record_read_composite.c $BASEDIR/crypto/s2n_cbc_cipher_aes.c $BASEDIR/tls/extensions/s2n_client_signature_algorithms.c $BASEDIR/stuffer/s2n_stuffer.c $BASEDIR/tls/extensions/s2n_server_supported_versions.c $BASEDIR/tls/s2n_server_cert.c $BASEDIR/tls/s2n_psk.c $BASEDIR/tls/extensions/s2n_quic_transport_params.c $BASEDIR/crypto/s2n_rsa_pss.c $BASEDIR/tls/s2n_tls13_certificate_verify.c $BASEDIR/tls/extensions/s2n_psk_key_exchange_modes.c $BASEDIR/tests/features/__restrict__.c $BASEDIR/tls/s2n_kem.c $BASEDIR/tls/s2n_record_read.c $BASEDIR/pq-crypto/kyber_r2/ntt.c $BASEDIR/crypto/s2n_drbg.c $BASEDIR/tests/features/fallthrough.c $BASEDIR/pq-crypto/bike_r2/aes_ctr_prf.c $BASEDIR/pq-crypto/bike_r3/gf2x_ksqr_avx2.c $BASEDIR/tls/s2n_record_read_stream.c $BASEDIR/pq-crypto/kyber_r2/cbd.c $BASEDIR/tls/extensions/s2n_server_psk.c $BASEDIR/tls/extensions/s2n_client_early_data_indication.c $BASEDIR/pq-crypto/bike_r3/bike_r3_kem.c $BASEDIR/crypto/s2n_hkdf.c $BASEDIR/utils/s2n_mem.c $BASEDIR/pq-crypto/kyber_r2/reduce.c $BASEDIR/pq-crypto/sike_r3/sikep434r3_fpx.c $BASEDIR/pq-crypto/kyber_r3/kyber512r3_symmetric-shake.c $BASEDIR/pq-crypto/kyber_r3/kyber512r3_polyvec.c $BASEDIR/tls/extensions/s2n_cookie.c $BASEDIR/tls/s2n_recv.c $BASEDIR/tls/s2n_signature_scheme.c $BASEDIR/tls/s2n_tls13.c $BASEDIR/tls/extensions/s2n_key_share.c $BASEDIR/pq-crypto/bike_r3/sampling_avx512.c $BASEDIR/crypto/s2n_aead_cipher_aes_gcm.c $BASEDIR/crypto/s2n_evp.c $BASEDIR/crypto/s2n_cipher.c $BASEDIR/tls/extensions/s2n_server_server_name.c $BASEDIR/pq-crypto/bike_r3/gf2x_mul_base_portable.c $BASEDIR/pq-crypto/bike_r3/decode.c $BASEDIR/pq-crypto/kyber_90s_r2/polyvec.c $BASEDIR/pq-crypto/bike_r2/error.c $BASEDIR/pq-crypto/bike_r3/gf2x_ksqr_avx512.c $BASEDIR/stuffer/s2n_stuffer_file.c $BASEDIR/tls/extensions/s2n_client_sct_list.c $BASEDIR/tls/extensions/s2n_server_max_fragment_length.c $BASEDIR/tls/extensions/s2n_client_status_request.c $BASEDIR/pq-crypto/sike_r3/sikep434r3_fp.c $BASEDIR/tls/extensions/s2n_extension_list.c $BASEDIR/tls/s2n_alerts.c $BASEDIR/tls/s2n_server_key_exchange.c $BASEDIR/tls/s2n_ecc_preferences.c $BASEDIR/pq-crypto/kyber_r2/poly.c $BASEDIR/pq-crypto/bike_r2/bike_r2_kem.c $BASEDIR/crypto/s2n_aead_cipher_chacha20_poly1305.c $BASEDIR/pq-crypto/bike_r2/gf2x_portable.c $BASEDIR/pq-crypto/sike_r3/sikep434r3_kem.c $BASEDIR/crypto/s2n_hmac.c $BASEDIR/crypto/s2n_stream_cipher_rc4.c $BASEDIR/tls/s2n_record_read_cbc.c $BASEDIR/tests/features/execinfo.c $BASEDIR/tls/s2n_kex.c $BASEDIR/utils/s2n_timer.c $BASEDIR/tls/extensions/s2n_client_supported_versions.c $BASEDIR/crypto/s2n_crypto.c $BASEDIR/tls/extensions/s2n_supported_versions.c $BASEDIR/tls/s2n_shutdown.c $BASEDIR/pq-crypto/bike_r1/error.c $BASEDIR/tls/s2n_client_key_exchange.c $BASEDIR/crypto/s2n_dhe.c $BASEDIR/pq-crypto/kyber_r2/indcpa.c $BASEDIR/crypto/s2n_rsa_signing.c $BASEDIR/pq-crypto/kyber_90s_r2/reduce.c $BASEDIR/utils/s2n_set.c $BASEDIR/tls/s2n_protocol_preferences.c $BASEDIR/pq-crypto/bike_r1/aes_ctr_prf.c $BASEDIR/tls/s2n_config.c $BASEDIR/tls/extensions/s2n_server_early_data_indication.c $BASEDIR/pq-crypto/bike_r1/decode.c $BASEDIR/pq-crypto/bike_r3/decode_avx2.c $BASEDIR/pq-crypto/bike_r1/sampling_portable.c $BASEDIR/pq-crypto/bike_r2/openssl_utils.c $BASEDIR/pq-crypto/bike_r3/gf2x_mul_base_vpclmul.c $BASEDIR/pq-crypto/bike_r2/sampling.c $BASEDIR/tls/s2n_record_write.c $BASEDIR/tls/s2n_post_handshake.c $BASEDIR/tls/s2n_kem_preferences.c $BASEDIR/pq-crypto/bike_r2/secure_decode_portable.c $BASEDIR/tls/s2n_x509_validator.c $BASEDIR/pq-crypto/sike_r1/P503_r1.c $BASEDIR/pq-crypto/bike_r1/openssl_utils.c $BASEDIR/utils/s2n_init.c $BASEDIR/tls/s2n_handshake_type.c $BASEDIR/error/s2n_errno.c $BASEDIR/crypto/s2n_ecc_evp.c $BASEDIR/pq-crypto/bike_r1/parallel_hash.c $BASEDIR/tls/s2n_prf.c $BASEDIR/tls/s2n_cipher_preferences.c $BASEDIR/tls/s2n_key_log.c $BASEDIR/tests/features/noop_main.c $BASEDIR/stuffer/s2n_stuffer_text.c $BASEDIR/pq-crypto/kyber_90s_r2/kyber_90s_r2_kem.c $BASEDIR/tls/extensions/s2n_client_max_frag_len.c $BASEDIR/pq-crypto/kyber_r3/kyber512r3_kem.c $BASEDIR/pq-crypto/bike_r2/sampling_portable.c $BASEDIR/pq-crypto/sike_r3/sikep434r3.c $BASEDIR/tls/extensions/s2n_server_session_ticket.c $BASEDIR/tls/s2n_handshake_io.c $BASEDIR/tls/s2n_security_policies.c $BASEDIR/pq-crypto/kyber_90s_r2/poly.c $BASEDIR/pq-crypto/bike_r3/gf2x_inv.c $BASEDIR/pq-crypto/bike_r3/decode_avx512.c $BASEDIR/tls/s2n_server_cert_request.c $BASEDIR/tls/extensions/s2n_server_certificate_status.c $BASEDIR/tls/s2n_connection_evp_digests.c $BASEDIR/tls/s2n_client_cert.c $BASEDIR/utils/s2n_random.c $BASEDIR/crypto/s2n_openssl_x509.c $BASEDIR/pq-crypto/kyber_r3/kyber512r3_fips202.c $BASEDIR/tls/s2n_server_finished.c $BASEDIR/pq-crypto/kyber_r3/kyber512r3_cbd.c $BASEDIR/crypto/s2n_fips.c $BASEDIR/bin/https.c $BASEDIR/tls/s2n_change_cipher_spec.c $BASEDIR/pq-crypto/bike_r3/gf2x_mul_avx512.c $BASEDIR/stuffer/s2n_stuffer_network_order.c $BASEDIR/tls/s2n_early_data.c $BASEDIR/bin/common.c $BASEDIR/pq-crypto/bike_r3/gf2x_mul_portable.c $BASEDIR/tls/s2n_client_cert_verify.c $BASEDIR/stuffer/s2n_stuffer_base64.c $BASEDIR/pq-crypto/sike_r1/fp_generic_r1.c $BASEDIR/pq-crypto/kyber_r3/kyber512r3_ntt.c $BASEDIR/tls/s2n_handshake_transcript.c $BASEDIR/crypto/s2n_sequence.c $BASEDIR/utils/s2n_rfc5952.c $BASEDIR/pq-crypto/bike_r3/utilities.c $BASEDIR/pq-crypto/kyber_r2/symmetric-fips202.c $BASEDIR/crypto/s2n_cbc_cipher_3des.c $BASEDIR/pq-crypto/bike_r2/gf2x_mul.c $BASEDIR/bin/s2nc.c $BASEDIR/pq-crypto/bike_r3/gf2x_mul.c $BASEDIR/tls/s2n_early_data_io.c $BASEDIR/pq-crypto/bike_r1/converts_portable.c $BASEDIR/pq-crypto/bike_r1/secure_decode_portable.c $BASEDIR/pq-crypto/kyber_90s_r2/verify.c $BASEDIR/tls/extensions/s2n_nst_early_data_indication.c $BASEDIR/pq-crypto/sike_r1/fips202_r1.c $BASEDIR/pq-crypto/kyber_r2/fips202_kyber_r2.c $BASEDIR/pq-crypto/bike_r1/sampling.c $BASEDIR/pq-crypto/kyber_90s_r2/cbd.c $BASEDIR/crypto/s2n_composite_cipher_aes_sha.c $BASEDIR/tls/s2n_send.c $BASEDIR/crypto/s2n_hash.c $BASEDIR/crypto/s2n_tls13_keys.c $BASEDIR/tls/extensions/s2n_client_server_name.c $BASEDIR/pq-crypto/kyber_r3/kyber512r3_indcpa.c $BASEDIR/tls/s2n_signature_algorithms.c $BASEDIR/pq-crypto/kyber_90s_r2/indcpa.c $BASEDIR/pq-crypto/bike_r1/bike_r1_kem.c $BASEDIR/tls/s2n_resume.c $BASEDIR/tests/features/cpuid.c $BASEDIR/crypto/s2n_certificate.c $BASEDIR/tls/s2n_establish_session.c $BASEDIR/crypto/s2n_pkey.c $BASEDIR/tls/s2n_ocsp_stapling.c $BASEDIR/tls/extensions/s2n_client_psk.c $BASEDIR/tls/s2n_cipher_suites.c $BASEDIR/tls/s2n_server_new_session_ticket.c $BASEDIR/utils/s2n_blob.c $BASEDIR/pq-crypto/kyber_r3/kyber512r3_reduce.c $BASEDIR/utils/s2n_ensure.c $BASEDIR/bin/echo.c $BASEDIR/tls/extensions/s2n_server_renegotiation_info.c $BASEDIR/tls/s2n_tls13_handshake.c $BASEDIR/tls/s2n_cbc.c $BASEDIR/tls/s2n_quic_support.c $BASEDIR/pq-crypto/sike_r1/sike_r1_kem.c $BASEDIR/tls/s2n_async_pkey.c $BASEDIR/crypto/s2n_rsa.c $BASEDIR/pq-crypto/bike_r3/gf2x_mul_base_pclmul.c $BASEDIR/pq-crypto/s2n_pq.c $BASEDIR/pq-crypto/kyber_90s_r2/aes_c.c $BASEDIR/tls/extensions/s2n_client_session_ticket.c $BASEDIR/tls/s2n_server_done.c $BASEDIR/tls/extensions/s2n_server_signature_algorithms.c $BASEDIR/tls/s2n_aead.c $BASEDIR/tls/extensions/s2n_server_status_request.c $BASEDIR/pq-crypto/s2n_pq_random.c $BASEDIR/tls/extensions/s2n_extension_type_lists.c $BASEDIR/tls/extensions/s2n_client_alpn.c $BASEDIR/pq-crypto/kyber_90s_r2/aes256ctr.c $BASEDIR/tls/extensions/s2n_server_sct_list.c $BASEDIR/tls/s2n_client_hello.c $BASEDIR/pq-crypto/bike_r3/aes_ctr_prf.c
Metadata
Metadata
Assignees
Labels
No labels