https://bugs.exim.org/show_bug.cgi?id=3038
--- Comment #2 from Michael Tautschnig <[email protected]> --- This fails at link time, and wouldn't be detectable with regular ELF linkers. The problem was found when using goto-cc (from the CBMC suite of tools), which performs type-aware linking. Still posting the relevant log section: [...] cc -o eximon.bin em_version.o -rdynamic -ldl -pie -L/usr/X11R6/lib64 \ util-spool_in.o util-store.o util-string.o util-queue.o util-tod.o util-tree.o em_StripChart.o em_TextPop.o em_globals.o em_init.o em_log.o em_main.o em_menu.o em_queue.o em_strip.o em_text.o em_xs.o -lXaw -lXmu -lXt -lXext -lX11 -lpcre2-8 \ -lcrypt -lm -L/usr/lib64/nsl -lnsl -lc reason for conflict at #this.resume_hctx: type classes differ struct { hashmethod method; signed int hashlen; union u; } void * ../exim_monitor/em_globals.c:225:1: error: error: conflicting types for variable 'tls_in' old definition in module 'spool_in' file globals.h line 121 struct { client_conn_ctx active; signed int bits; BOOL certificate_verified; BOOL dane_verified; signed int tlsa_usage; uschar * cipher; const uschar * cipher_stdname; const uschar * ver; BOOL on_connect; unsigned int $pad9; uschar * on_connect_ports; void * ourcert; void * peercert; uschar * peerdn; uschar * sni; uschar * channelbinding; enum ocsp; unsigned int $pad17; hctx resume_hctx; const uschar * resume_index; unsigned int resumption; BOOL : 1 host_resumable; BOOL : 1 ticket_received; BOOL : 1 verify_override; BOOL : 1 ext_master_secret; unsigned __CPROVER_bitvector[4] : 4 $bit_field_pad23; unsigned __CPROVER_bitvector[24] $pad26; } new definition in module 'em_globals' file ../exim_monitor/em_globals.c line 225 struct { client_conn_ctx active; signed int bits; BOOL certificate_verified; BOOL dane_verified; signed int tlsa_usage; uschar * cipher; const uschar * cipher_stdname; const uschar * ver; BOOL on_connect; unsigned int $pad9; uschar * on_connect_ports; void * ourcert; void * peercert; uschar * peerdn; uschar * sni; uschar * channelbinding; enum ocsp; unsigned int $pad17; hctx resume_hctx; const uschar * resume_index; unsigned int resumption; BOOL : 1 host_resumable; BOOL : 1 ticket_received; BOOL : 1 verify_override; BOOL : 1 ext_master_secret; unsigned __CPROVER_bitvector[4] : 4 $bit_field_pad23; unsigned __CPROVER_bitvector[24] $pad26; } tls_support tls_in = { typechecking main failed make[1]: *** [Makefile:787: eximon.bin] Error 1 -- You are receiving this mail because: You are on the CC list for the bug. -- ## subscription configuration (requires account): ## https://lists.exim.org/mailman3/postorius/lists/exim-dev.lists.exim.org/ ## unsubscribe (doesn't require an account): ## [email protected] ## Exim details at http://www.exim.org/ ## Please use the Wiki with this list - http://wiki.exim.org/
