1738 |
(multiple-value-call #'%f15 (values -2688612))))) |
(multiple-value-call #'%f15 (values -2688612))))) |
1739 |
1 2 3) |
1 2 3) |
1740 |
-2688612) |
-2688612) |
1741 |
|
|
1742 |
|
;;; ACL 6.2 (x86 linux trial) bugs |
1743 |
|
;;; With optional flet/labels parameters, there's a very high frequency bug |
1744 |
|
;;; causing the compiler error "Error: `:INFERRED' is not of the expected |
1745 |
|
;;; type `NUMBER'". The following tests show this bug. |
1746 |
|
|
1747 |
|
(deftest misc.134 |
1748 |
|
(funcall |
1749 |
|
(compile nil |
1750 |
|
'(lambda (b) |
1751 |
|
(labels ((%f5 (f5-1 f5-2 f5-3 &optional (f5-4 0) |
1752 |
|
(f5-5 |
1753 |
|
(flet ((%f13 (f13-1) |
1754 |
|
(return-from %f13 b))) b))) |
1755 |
|
900654472)) |
1756 |
|
183301))) |
1757 |
|
13775799184) |
1758 |
|
183301) |
1759 |
|
|
1760 |
|
(deftest misc.135 |
1761 |
|
(funcall |
1762 |
|
(compile nil |
1763 |
|
'(lambda (a b) |
1764 |
|
(labels ((%f4 (&optional (f4-1 (labels ((%f17 nil a)) b))) |
1765 |
|
-14806404)) |
1766 |
|
190134))) |
1767 |
|
1783745644 268410629) |
1768 |
|
190134) |
1769 |
|
|
1770 |
|
(deftest misc.136 |
1771 |
|
(funcall |
1772 |
|
(compile nil |
1773 |
|
'(lambda (c) |
1774 |
|
(flet ((%f17 (&optional |
1775 |
|
(f17-1 (flet ((%f9 nil c)) 73574919))) |
1776 |
|
643)) |
1777 |
|
1039017546))) |
1778 |
|
0) |
1779 |
|
1039017546) |
1780 |
|
|
1781 |
|
;;; And these caused segfaults |
1782 |
|
|
1783 |
|
(deftest misc.137 |
1784 |
|
(funcall |
1785 |
|
(compile nil |
1786 |
|
'(lambda () |
1787 |
|
(declare (optimize (speed 3))) |
1788 |
|
(declare (optimize (safety 1))) |
1789 |
|
(flet ((%f16 (&optional |
1790 |
|
(f16-2 (lognor -3897747 |
1791 |
|
(if nil -1 -127228378)))) |
1792 |
|
10)) |
1793 |
|
20)))) |
1794 |
|
20) |
1795 |
|
|
1796 |
|
(deftest misc.138 |
1797 |
|
(funcall |
1798 |
|
(compile nil |
1799 |
|
'(lambda (c) |
1800 |
|
(declare (type (integer 2996 39280) c)) |
1801 |
|
(declare (optimize (speed 3))) |
1802 |
|
(declare (optimize (safety 1))) |
1803 |
|
(if (zerop (labels ((%f8 (&optional |
1804 |
|
(f8-2 (logorc2 c -161957))) |
1805 |
|
2176)) |
1806 |
|
3)) |
1807 |
|
c c))) |
1808 |
|
0) |
1809 |
|
0) |
1810 |
|
|
1811 |
|
;;; Lispworks 4.2 (x86 linux personal edition) failures |
1812 |
|
|
1813 |
|
|
1814 |
|
(deftest misc.139 |
1815 |
|
(let* ((fn1 |
1816 |
|
'(lambda (c) |
1817 |
|
(declare (optimize (speed 3))) |
1818 |
|
(logior (labels ((%f1 (f1-1 &optional (f1-2 (setq c 7))) f1-1)) |
1819 |
|
(%f1 774 3616592)) c))) |
1820 |
|
(fn2 |
1821 |
|
'(lambda (c) |
1822 |
|
(logior (labels ((%f1 (f1-1 &optional (f1-2 (setq c 7))) f1-1)) |
1823 |
|
(%f1 774 3616592)) c))) |
1824 |
|
(vals '(-3)) |
1825 |
|
(v1 (apply (compile nil fn1) vals)) |
1826 |
|
(v2 (apply (compile nil fn2) vals))) |
1827 |
|
(if (eql v1 v2) :good (list v1 v2))) |
1828 |
|
:good) |
1829 |
|
|
1830 |
|
(deftest misc.140 |
1831 |
|
(funcall |
1832 |
|
(compile nil |
1833 |
|
'(lambda (a) |
1834 |
|
(ldb (byte 24 20) |
1835 |
|
(labels ((%f12 (&optional (f12-1 149) (f12-2 -3894159)) 34068)) |
1836 |
|
(let* ((v4 (%f12))) a))))) |
1837 |
|
-1) |
1838 |
|
16777215) |
1839 |
|
|
1840 |
|
|
1841 |
|
;;; In Lispworks 4.2 (x86 linux personal edition) |
1842 |
|
;;; 'Error: *** Ran out of patterns in (MOVE) for (edi NIL)' |
1843 |
|
|
1844 |
|
(deftest misc.141 |
1845 |
|
(funcall |
1846 |
|
(compile nil |
1847 |
|
'(lambda () (labels ((%f11 (&optional (f11-3 (restart-case 0))) f11-3)) |
1848 |
|
(%f11 1))))) |
1849 |
|
1) |
1850 |
|
|
1851 |
|
(deftest misc.142 |
1852 |
|
(funcall |
1853 |
|
(compile nil |
1854 |
|
'(lambda () |
1855 |
|
(labels ((%f15 (&optional (f15-3 (block b1 (+ 1 (return-from b1 -10))))) |
1856 |
|
f15-3)) |
1857 |
|
(%f15))))) |
1858 |
|
-10) |
1859 |
|
|
1860 |
|
|
1861 |
|
|
1862 |
|
|
1863 |
|
|