Package: ats-lang-anairiats
Version: 0.2.3-1

While building the package using our research compiler infrastructure we noticed
the following inconsistent declarations:

../ccomp/runtime/ats_exception.h:ats_exception_frame_type 
*the_ats_exception_stack ;
../ccomp/runtime/ats_prelude.c:** the type of [the_ats_exception_stack]
../ccomp/runtime/ats_prelude.c:ats_ptr_type *the_ats_exception_stack = NULL ;

with ats_exception_frame_type being a non-trivial struct and ats_ptr_type being
void*. These types are entirely incompatible and may cause arbitrary undefined
behaviour.

Best,
Michael

Attachment: pgp9or1ttKtna.pgp
Description: PGP signature

Reply via email to