[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-bugs] A few LLVM assertion failures



The tarball contains a number bugs where creduce hits LLVM assertion
failures. 
I'm running latest creduce and LLVM trunk.

Thanks in advance.

-- 
Markus
BZh91AY&SY+�O���w�������� `n�d�H
�
P
!T��P"�(T��)u��AAD�D���DU@���T������J���*RQ)��	D ����*J�JI%BU��AQD��QE
%@� �H�"�
�P��
B�����EJ��
��F��������
0	�##��&�=�@@�A�����SCI��20=����d��� d��D&�44�0�MOD���F��Q����L�����������U��o:��e_u�;������V�1�ht�8�FP��$.��+	T��T��F��x�TxCq�!1W���cřF�i],%V0��I#yI�p��qw�=���K��
���#��Y��Y���Ʊj�=����b���s��Lư�Z��ލ��<�Km�²�,D�X^���&��+��'��8?$�����U�8�tu7'&��rd����,��طY��b�Ӝ.X�he��,�e�,���,���YVZ��X���Zl���ͺ�^��L��sae������S�,���̷\.,Yh�Ŗ�Ӛnū,����a�sW&�F\����r�ش�b2ŖFY&E�Ybʴ�X�U��FU�.���S�Zde���e�j�2��$��������\�bʲј���z�җ��U�w��q�0ŝi�ݣf�Æ,<~�1�N����OΟ�;��?��q�
�6b����0��c
v��������Æ.�\81ãF�\8p�,Xӣ�htb��ã�a�0Ǿ���06h�t0;'�)�S4G*VC��UQ_UV)�H�c���C�Jc	�S
ra~���ϊt/ԹZ_Z�mL���F�~���q1^S�����{���L��b��X�����i�t�,�~پ����I����f/��v����6�[R,]V�̸׹b���-/U�_Ĺ\�ZY]WE�,]W���#��<�ia]WE�u���F(Ob{�y���2yMO�{�'T�榦�¯�1Z/�q� mh�[R�<t��ر�p].�,Ye��{�-��kk1����zo�Z\�-,-�^+�'��޺.���w\],Y'�j��v#����Z�S'y��д{���,[G+�
�^趶��9�N�1�\,�,��]�s��b;#�w\�d����b�;U�.`VS&#����Z��p�r�#���u_p�����֪��r�O�6��b������gH���S��%����f�?WԿ+�	��Ա|����{��=~�z�%������>�é�O9���?79�������&����P��I�U�V,�����r�:����O�_������ыz��c��tN�j}����4����t0�h������
��^+Ͻ���=:8,��~w�Ƹ����?z�<�=��vN��ޟ����19M�b݉�Aּ���56�X�N�j[[^+t��mr��tM����ؽW�.��D�z�������ZK�wZ����k�dǑ�_=�
�}��1������������LT���.�T�E��Ob���������I���'&�KW��\05/��N&L��'�uM&˅��WE��d���,�)e��k-�k�S�ђ{�l�v�X�ok�^s�a�d���Y���1V֖&h�&�����ie,Y\�����st&�Q��D�X��0��g%����N:.�j�-�e�_���'��.L�e��ۅ����9\���~T���ݕu�s.�	���.)p�Uz���:	ӥ9x9�^i���NSk����|ɲ꺦&'d��btZ\~��Ye�X�������i��K�,���;tX����[N��Pщ��d�)������Z'+i��M��bm{�L[J�����&&����
��tN�Ձ�ڵN���5��<S��h�<�d���$l������͟���d�����SK�b���,�X�0��ڻ�a4D�1=����]�}�OƴO>��S�������vLL'+�s��NS��.��'�e�f'7c�]���1<�����W�����SE������,�)�e�˙,dœ7��dޓ�w=�u�b�K�u��]�%ʺ���]���lb�ObvU�N�/j����в���a�ť���f_����,X�WM([O5✦�i����Dũ�'	�wZ[^K�� �)����:����W%�x��.g���˟�ir�#�"�z/
-&E��.�������k����w/��e��-�Z�,:1�unZ,ui���v߂���âb����=Gd<i��.Weԫ_nL,�ə�6��nw��e����pƚ.&���Pɕ����(�3�$���-�G��X���<��|ڶ��-N]z��;&��|	�\Ye䯲�OeK�qw_Rv&��������|�%�׿��Y��\��/dl�qӭ�Xh�t>��yG�0�0}�Sf�g�Oa�����?�{NV�^K��6.+��������ƽ�U��>�٥Zi������rش����9,ݕ��jne5ܳ�a�FO|����Wc�k��u]
���9��������5�x����[����_j���b��
��-嘿Oѥ�mNɭU��u����k�^�t���^�\��غ8x�l5]��LY���5��������;�[Y�����}3����ٯҼy.��_:�W+���½�����}W�tWe�i��L�����i���妵�ot��O\WG��+����[��ˡ�^E��3�o��KX���;���q��<�듀��.��-��'r����Ջ�/j���Z1:�U���h��qZ'B��k4ѥ�6x�qhك�M�<x]ѥ������~��C�ai}E�Z�O�^3z�eeuX���K���&u��U�=�mt[^~[���~e��s���奋�ڧ��H�����̞����xM&���'���x��{�؟jx����58eW�����奆��'Ը}G���+~����|:����bx����˹�����{���>/������K�����tMi�g__���������x'�$�����c�Ň�v=߁yib迢�b}n��>�U�����xbŋ����k�=�,X�O�������i<�^���[/��|���><2����/�����M�i�����������c�����F	_r���?��y˂��S�W(��0��,��%�!���1{&.��Нz���F,�2�'j�D�I�:�S�L���Xii~T��L9	.Z>�#�#@H��(��>x�?�^�|(=}���_�|��ȚM���fm�uW�n����Z^	�U�S��V+N���\�����aʬ�2em=�R�I�z��Ȟ����?���r��W����̚��>J�
��:�������_�����#�=��U��o�_2�-.���bwߞ�r�����K��g6��qV�U�k�5|>"�����o$|d�"v�-�{�����{���h�G	��8���T�
������;�3�n�e\��U��>��q�Gu]�yt�_bwM\c��y�
�~/��d�V�>�'�?�izYide����p���\�.+��ÂO�˘h����O��
�z������
���&LO��"�t��+'\��u[Z08:�M�&&��M�����qഝ�[Ubb�.òݔ���n8\�	��&����	����:յ_�Œ�s�/����-���x������[-I{-,<5=<Ӻz/�H}&ET��a}w��c��3�rt:����V�������.�ҙ�b���r�OJ��+���^���/�q�S����vM.�i���2c�~�&��LɅ��X�.K��f�i�����ruŋбz&��W'8�S���M.,X��J�mok��{<���3�iw]�&.W3�s{W'�o9r��j�j��/�K��rZG�r���;.Q������77�_����0��^ɵmz�%��b���-,]VָYo���<���ܲ��-�e�Y_.�FYx,�g��^�򘶶�x�f��4��x͟�<O3#�S����]m�
�f��F
�?���i|L4a��3g���rpj��lñ�f�0�~�������C�g�����gCf͎��0��rpy�����S���s�F�Q�;6h�'���/��&a��A���I��0�=nQ����_�I�px͚��nq2���w�JátY8.�4vgS
���r�L[]�iu��tNV��mi1u���n��y��,4�$�m;.��е�2್v�-+�|+��]+�x����x.���.�vuZ���Ǖ�7�5<��6�Y8Y<V1��4\+�6����]�����U�,L\,{��+3�mw��=�Wu�"�Q����]��N�zגt��]r�S�u]SW)��[&�+�:/)��^�+18]S�+�I���A�as:����츚���������v]�����0������j�����:�)�'e<���^b�K�qLQ�&Y21dw\Y�K,����2�2��*�X�elb��,�ʲ�e�eV-�e��j�e0b,]�ë���L�#,Yő�5SΘ��Dڋ��R�*���^��Ӕ|� �~���l�t�<�?I�F:��|��
����u6l�s�����'U�Ŗ^�����p�2̺^K��˺�,{��=w]0�%��eņYG�_�/%��,>|����ap�sKܱi��¸�ŵ����i2�v-��2��,]��-�"�^���}���:�/�-�r�y�^������K�s7�U���	���.�K�,^+����3u��*깫K�������Ӳ���^e��\�+k�����:$���'��{Od���$0�_`��|Z��'��y�x��yXa�}ƣE���4ok�cc��l���·C��x������4p|����k�}���Ӝ�����^����-MLL�4z��a�r�G�X�[,_zb����!��N��'�}����r�{���yt����&�h�X��p�xJ�����������X`���L�cb��w]/�u^Sȳ����\-bM��2��r����촺�U�b�ѻ�l�FNO�a�N�\
�0ËF|U�x��+K����.��`����mu�,�"��x�4p�p�x�|�y���u[]�����u��zvY0��]ܸ]%�:�s��ч~��l�r�E������9t4g7'�{X}'�_�9NO�?�>�P_W���e��qqqd8����eX]�],�?�&X���I���Z[�S{��؎²��e��ɔ��pO�m^�y/b>��ˢ�b�-�k#3[�4M��tGPvYvYqe�+�Z_�/�>�p�Yej`���駯�x%�cы�����Nt���Y8���.,��+GM��7�z/b�\.��LX�;�SS�������U�
�b���z�����ɂ~��U>�;&�E�ˡz'R�+�ԝW���<�i��p��&/���Y.9ٗ�R�YN��%�����c�j���\K���B�]?�zx��j�>�/��j��i�/�-L��Z
�%�UeLU�N�'�=ú�¾T�H`�V�02ɊŖ1�X�X��X��p_�����D��O$��c%�|���p�/�ŵ�x����9�y����]������L�~�|
����c��9�1~���~l��2.�ڽ-.<V/3���
M���+k���8LKdŢx&���ivZXa��b�E�l�I���,C��8NW*Ųiz����t���2�ʘ1Y�,�����ő�qЭ���%�f���-����,��z#��S3I��iO��Ţ;�'�5�������ɑ����
'�(���iS��]�K�K��}o�b�_y}buʿ�w�2e��%��諈���ŖU�'��o��m�����=EO�_3�����etI�/ީ�q=��;�e����ge�
�8:.�Zm�,��ŗi��ѳ�����|G+F����.8pےr�L12�O~m�|��;�b��t��]��y�����Τ�>��LL�/��t`x(�?��B�I����>��b�J�Yp��a|��]�Ll���������|	��w/ڲ�1L���ő�6ٹX�B�X�]�7#�e�LJx#D�ab��֧�w,X���{����	�Db����=S������Q�G�r�T��nɗYq9W�r���	��6�L4��u�[O���$֏B����m1j^*=���Ņ���8\����Vr��L���'E����	�SkΎ�1w_z��q_����^�k�r�^�r����V�Kk��]!|I��H�'��ŋ#��}��Y4��SJ�l�^��.����,�-�h�%Զ]�h.UM���i��&�S-���q/Q|�Пە,MP���r�p�12U�"O9>�&%��ɿ*��b`̱,��IJ�=
���:i~�EZ������Äⱋ�e^S�������'t�e|��؜�Z���<H�)�}��<�
B*�_p^�����Q�,3�bi+��|�Ұ�6�/�l�����,l���\,�\U�zV������wL{��ľ�&c�*p��Ҙ��6������K��kk�f	�����m?����~Q�����mS-%��Yd���'�C���_���OJ[U�|��rM4�"��&���n
�F�t�\�&��������?a���b�N���I��85N.,���D�Eb~h8���h�YRAa�샺��cՁ_��l���p�`��1e�����e���q>�F,?>#�t%�b��ix�]h'�2�i�氿r���Z]֒mu.�������~�!��	LB4 x��DEPL��i����2CQPҕ��J�|�|9��C���}�Hũ���Za:��I�q5]*�O�jq2�Y6����IrJ7b)��VX��w]�-�d��cuYiYd���vG����0tte�Yt��WK�?(��*�,*��]����~���Q䟼Z�e�z��vE��M�&�"����Q~p�,Rb�����M��4�M��^	��M:�_Ʋ�˸/%=
��`���T�*_�}��Y�m2����.���gUص���ˢ����+�-�[4h�4�d�����f�c���U�_��틺r��������ε�r,����R"��\'I�d�S��I�Xҝ���h�����j�̗��:�lf���.�Բqw��VʶZ��1tZM,�X�x���B�Y;��Vۖ�8Nӫhw�p��+!�
����A�FɊ�S���۪��Zʛ9;.��b`�.-������&�贴��
�0ٳ#f�E�:κU�MVME����Z[ZG�q�h�r�(��at6ZGU���Z].���G�`�����Ŝ.������.T�b1bˉزh�,x���[L9V�,;��8NW+��i�����`�br.Jd���E\#h���X�c!�vu�qy�2�֝����jv�w�:�r����ރ��$����?�T�U�x�KF���_��>��=)�W~,���'+ڱeb������'Th����_N)L�x��U	�\^
mC,/�菲&�#ī��b��X^uX��tG�P?����%�_,��k,���YE��daOi���G�^�&��5\X��a>��os$��,Gu��vG�����s�_a1|k|�)r�t�K����&Ѵ�NU�������.�����tO�81~��xE4>��Ge�&$�t$[�W�J����uS����i�G�����xm}��W#k�)���v�!b�Ld�'�x�Y^�d������������;�_�^@��T�L�}��v�ꬺL��&8�q8��|]i�bߺ�_���ƽ|SU}I�����9�t�Y:.b�жBt\&�T�O��uG�����ք��U��je,bX�������F4�I���؞�I�?�bb}�_̫+̜��a�ї�ŋŊ�u�l��dO�58�.T�&Oy`���"c&MYe1����:�2��ŗ2�,��|���ұ?8��������`��G�?2����k�^�.%�OJOEiP��b��)v�s�E��/���*�����h�������?�]/��Yx��U����в=I�2j��~e��_J���}��ڟ�Ye���Y~e������Y��[�I�tY:L�˪�ev&�;�.�d�y��T�:��YK��Kܞ)�G������E�=V-M�,�i��s����#���Ť��}I���tL���*q?�I{j����
��1�Zh�Yq<��9�&9ҸM����<1�d�b�h2Yq:\�e��a|��X.��.,��.a=
�������j���y-JwXFZb���-A����^Ax{%��<Q��d�d���e�q1;�^&&A���,�FArF/�^���H�™VYQ�eO	���U�į4��OhSb��#�N	�����VF^E�B�����a0�@��1�K�rN�'uX�p[Jip���m<K.1�\;.���<:8�WF�E�E�s��q�r�4����b�z���[Ⱦ����iV.�c��d�L�=���i�2�B�������^q/�#��il�����}'�����t������\��<C�q;����&E�rt0t]��k��ю.�ɓS/7U���8'2�/��u���?��ab�+,b�0�O����R�(��������>�8�M��N.V��Kj�*b��4Q�C�r��r���S���w���f�R�����,[+М����i6���RxUd�!����aˢ���b'�h��{��Iɥ������?��'d�.mZ�GD�b7I��������%r�ү���������H��dd��yUK�����z�����Ge�%�&(�M�1,��������2�ZHbO@�2�2�L��U�_%��G�U�{�^��MCj���l�	��$�Z�Ń,F%�.��-K�%���}��0���O���sU����࿲b�&_�ds�Ba7еZL���Ƒ��t����eVM[#5M�Yf5p},)����_q?JR���Cb��-U��$�����Ҿ�b���{�ش����]V��_�K���R���/t_��^��{k�Q)���K������^�`���䴱W�źk#sk6��[X�X�a�M/��8[6�vYS�)q��-Äq2���ۛS��:Yi�e���t�qb�j��c��:q7]�YpuU�̺�MCM-4ZS����,10���`ĸZ�Yr�AҖ�X���$�A+�OJ�V��f.J�MVL��E_Q<�O��G�U;��0b{�_n��Gd;�6��~�0K�jp���1y�;�3n����tY05b�"�'�x'�1�A�b�q�ג��?�ܿ.e�ʲQ�"�1����4��rM�!�z�"�ZZ^$����d�p<�^kK��/1^K޴t���:��[[_�hmprp��bam1NS��u]�iŦ,�É����i������[5Y_Ƶ8[V�
�_�miab��
��贎��ٴiib����)y-qdq8�.%�Xe�uu6�LvN/K�����2���.�X�,X��-�h�[ZU��.+E����ъ�N%c.5N	���V&O.�������b�,�Tȫ�iiF�{���2����,�h��乒ū�\B�	���<��?I�-+��/��XN'9Wy-dX������4�[�f��Qt�z!�X�.���FX��]�L�����:/r�*z�}��.�ܲ�Z��X9OŦ��xQwX꘮/�B��������VZsQ����gnM���y/���l���XŌ���e�e��б�8��ьdc�te�ã�R��.cK�w]]������1pˆG��t����e��5r�����pv[1a��Xp�^G�Yo�2�u�踸a�\p���g]c,��K��ر����X�.��wYt8ZZ1a�]WS��X�LXcGf/%��.뱵���E�ŵ�W�����e��ڰ�P�X�M?�Y��Kt��������F����n��M�*ҚO���d�L�I�S��,�b��+,I��\Y.�b��]�e�v�):���̙8X�Q�����g<��?z�xq:��*���I��Jtׁ������S���a��u1:�ණ��`ZZU��p�.�x�ɝW��.��mb��#L�].,�\#��2�&֍*Ұ�x&�ګ'T��R��M&&ʰ���d�#������è����ލ��
-Z-���kU4u'�����ml�����\&����D��G��I�8^s��&����M�\M$.Up^+>�?hi5,W���u�WUwOay�]S���z�e(0��]W!���T���	������|��!���9Ŧ\,\X�8��hqc���ˋ�,8��2����ˇ��Llqt�pmmhb��ܴl��q9r\1�H�F.�/j�v1�K�-NG)��
J�Oشw�fO�ZY#�V�������X][���X�6��Dh���_�b����)6_���#�#������/���ʏ�C��U���¾�)7E�W���By�uS�b�e8Yd:}*��I9�|�5e��+
�
��c4��bY�Y4�I�K̟jbbuOp�����O܏�"^��N+^��ר^��>�ӎ��'dp�b�ma�id�i�bd܍��e�Jvم�p�2��.,�[*��^��2�b��	�\\�X�����B�PѦ�K"��a~O�7��k��,�n�Q1�0e��/�ty�����i�J�0`bp���dŖ1�Ĵ�ʮ,�d��!�E�2�M�Y`�0a�A�
e�-#
L��l�����e��1�F2���2�tpp���eL�y���\.���ŋ�-S,�4�����E�:��N-kf���Ze,���j����Zx\?x'"��S��W
�2M�{زX�	��ػW����p����l^���,��}s�W��>�tp踞}��������ò���:]a�K��e��˲ˣ,e���Xˣ#αw],e��t�iibš���rbÅ�V��4j���mt8M����S؟�>�|�`�M
�S��D���Aw0�2���<�Ʋ�\]���\]�3N�'��9,1tLU������#α������<+~?J�D���ګq=����Zt9_G��L���ƿ���e8:^�6h��i[��,\G�8��tX���M�ꓥeb><���f���g��1~��,�|�����8���l�}5��c����,��de��cƮ���2�.,U41b�(��iIv�e����_Q�h�0��ko���p�D~g����V�������o)��z�7f�����ٞ��Y��ක0����[����^�-/����.Km-Zqrqe��|�t{�����1Ç[���88a�8k�8tpᆘh����	����)„�X}�x