andrius
/
M2-Planet
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix failing tests on x86

This commit is contained in:
Jeremiah Orians 2020-12-15 19:02:32 -05:00
parent 132e685f97
commit eaf3861954
No known key found for this signature in database
GPG Key ID: 5410E91C14959E87
3 changed files with 32 additions and 32 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cc_types.c
View File

@ -111,7 +111,7 @@ void initialize_types()
struct type* h = calloc(1, sizeof(struct type));
require(NULL != h, "Exhusted memory while intializing FILE\n");
h->name = "FILE";
h->is_signed = FALSE;
h->is_signed = TRUE;
h->size = register_size;
h->type = h;
/* FILE* has the same properties as FILE */

60
test/test.answers
View File

@ -90,13 +90,13 @@ e783d1a24a892f326ef8166d9fd0bf318d93fa7112b244973569e4332d9c5f0d test/results/t
79e72f4683bd8b97911260b84ff4b04594bac42dde3d917c5cb9537a51c81747 test/results/test0015-aarch64-binary
4e007d85c9866596807abfd328d674770743daa22549f989f82c24868671792a test/results/test0015-amd64-binary
469ae52e773e33a06332e6372eee87c9243d833ea16153e9aeef33ebcc06deb7 test/results/test0015-armv7l-binary
a97929b977f3746e0f0e4ed7b1380504429fd7b1995d3b11561dc0993fc7cd88 test/results/test0015-knight-posix-binary
9c11de0058f9bbb96d0bb4d24592aeb606dc16abadc83784217dab016b305b07 test/results/test0015-x86-binary
1b24c72416b5e262a03a512fe0db7d3777741d0f6b5116f9ff10da5b8184a646 test/results/test0015-knight-posix-binary
fe84418a5aa71ba024a3910d66ff0ea809c855a47383cd64a8dac00a329e32aa test/results/test0015-x86-binary
061ba8f44ae60f4c2a3315d5ff0512bb22f8d9fca0ef7d8e8c56fad3605bfb87 test/results/test0016-aarch64-binary
44916f3c2efb03442a359e41eb9768d8c395c626c6b364b55079318265929583 test/results/test0016-amd64-binary
910e97d9a9a8bc8b6e5979641c5a2516acdbd45709fe67462602d7fd429fee15 test/results/test0016-armv7l-binary
b4ee4fe352cf3ab4f9811778eca08e31af9c819159ba7e4e7e1f393ef033a00f test/results/test0016-knight-posix-binary
abb9a040cb15bc1ce6d7a8578487977ca72cb55656eb05b45ebb12329402a594 test/results/test0016-x86-binary
ce13dcffd4d6c09c477cb3d6c6abf87412ccc2868c7a85aa3b1b311505460909 test/results/test0016-knight-posix-binary
5e617d9934312d4a9d27870af995fb2171cb9c5fb6f7b12c118df797dc47a1c9 test/results/test0016-x86-binary
ca186d12b91ad4f89141c05345680fe83a161766ba4bb49ff0ea28bde77e89b1 test/results/test0017-aarch64-binary
bd70143ec9764bd5681c72e173b6baaca7a486c9330974ca82fb7e997249f572 test/results/test0017-amd64-binary
4618cba0ac8a2aa09c434388be9e2275cfb512c457a9f10e2ec64c06a3f4cf2c test/results/test0017-armv7l-binary
@ -106,14 +106,14 @@ e43706738c5cbd6ec7278120583d4b854bf8e8c56199807a8f70525870f251d1 test/results/t
bdb95323821eea5b757445d1d4a8f79256a4b665c2a0666cbbb7931550ba4a6f test/results/test0018-aarch64-binary
7c880e70934335682896ef3ab6e01f96482d59185b13302c94127126a0b25949 test/results/test0018-amd64-binary
2ad21d7b2536304f9effd97d8614036b0d453a10ba4da3c09b490d6447271a42 test/results/test0018-armv7l-binary
bf6cdf7a737a42ab2bd2df1b5e69ccda3205a13eff172bd53032f10bb8a207b6 test/results/test0018-knight-native-binary
55e2af7a331e3681e28b97ffbf90e1abeca44d79c06e2fe466ec5cb643148350 test/results/test0018-knight-posix-binary
67b3f48deae93b7d55f225584acb1011bada60171a35709c1fcff3504ada61f1 test/results/test0018-x86-binary
cc0da63ac84b37fef8e0367246a01b3aea7be95dd410297d80500e8d43a54b32 test/results/test0018-knight-native-binary
a2cba152dd5dd47a574aec274d22fbda6efad301ddd942cdd928b69f92902fcb test/results/test0018-knight-posix-binary
b547b060881bbbd564d18575b5a96b4f5837ece88ea1f7a20bc5fb1b736361e4 test/results/test0018-x86-binary
26533e5ac6d14e2cdc40bd5638b1f246c9fe8a37ad547ac2733d4d8b4fab1873 test/results/test0019-aarch64-binary
b5d23f9cb31ecef662b3f599413c08b3a07d69d1e5fc1b2b9316b757eacef282 test/results/test0019-amd64-binary
3fb11401be187c022e63b6912bddedcedc975ef0a6cf08e978fdb48411589f48 test/results/test0019-armv7l-binary
509a1b28eddde9487d45ff990fdfd90becbe1d951f9733394d1ab976bc6f0b50 test/results/test0019-knight-posix-binary
408407f86afb8f926bbcabe245c02f901dbb4cc0aba94c739bd07baffdc2030c test/results/test0019-x86-binary
829a00a8b9b90eca5ff6eb0100d1327e102f5a83e12a4e7073ae0b9bece81aa1 test/results/test0019-knight-posix-binary
18b7ab44902784a60444c120ec73fe01410a73ca89bbceb1cb2522e024ad0f2c test/results/test0019-x86-binary
6b31e8ee54270d38a1801f7614ae6247f59d44a2758f344b07a72794019290f4 test/results/test0020-aarch64-binary
6b2956b106dd16bb55d8d011b48e674ee3b70bbb0bb83efadca01d446666e21e test/results/test0020-amd64-binary
b29aca7f0b63659915fe431e290f821cf17071983613021aacb8985d376bb206 test/results/test0020-armv7l-binary
@ -123,54 +123,54 @@ d2e5a7672854bf190dd6e2f08081a5dbea22c08d77b4a62f76af68db033aea14 test/results/t
4bcc06013b48bc2fb95e0993835e1ba6980701ce7052fb01fe8fdd3ddc0f7a19 test/results/test0021-aarch64-binary
db58e65fb5c977ffabfd0284fe3b215c34db5ecc4bf67b9dcd62e4bd8a45807b test/results/test0021-amd64-binary
b56c9a9e68931081e18f855017729b90e8dffb5d81ab900acba1fa824e9b2cc5 test/results/test0021-armv7l-binary
67ed23b02f7600c79c5b71c6527bf94efef0de836f8c2caa19da905b623b3da3 test/results/test0021-knight-posix-binary
41738ef94cf8cb3af69b85478602ffe26b62728372ea966827d9929d82a8717d test/results/test0021-x86-binary
c7bdb01426e19d1263cfd84d6c264585c8130f16801e7f6c2e0f2587aed8018d test/results/test0021-knight-posix-binary
602b8f095b401ec654d358f526787b4a53541fe03b235d5971bc6bdfa8f13878 test/results/test0021-x86-binary
26c3da7c1f26ddebaf0de705e98fc35b5ff9a645c69ee19848790df6e9f590a1 test/results/test0022-aarch64-binary
6c9cd235477fdd070e8cf4aa6255100554b1a907249e0a41b61b44df16e03bca test/results/test0022-amd64-binary
bccd51a074ea646ef4c39410196e32366e952e788e82ad055c408142d26cbfbf test/results/test0022-armv7l-binary
8077962e6598cfd78ad5303054eda68c7a4ec75230f2f50b889e58c85cc3cf92 test/results/test0022-knight-posix-binary
8672b5e97fdcd72ff607245aa4d1b896169edfe791f40e68fbde4113edeec398 test/results/test0022-x86-binary
1ab881dd102849750ce0d4c58621934abb664e740ab54f9c2637e4c2255a0661 test/results/test0022-knight-posix-binary
a70738aa2f1c56fdaacfa45e3fcce8deb105259fac3f6c9cf2804925138a3745 test/results/test0022-x86-binary
5a9a0a19187247ed89d55aeb0b02beebae792b2908e70cf558042887878dcbc3 test/results/test0023-aarch64-binary
8cd6f04e55eb1d2c73315df8f4959d691c1243550c29671c2e8adc3cdbf1990d test/results/test0023-amd64-binary
afd5d479066402228964a3216235f091065b0922b76576a7c972e93f0fb88684 test/results/test0023-armv7l-binary
3d5901dfe0f5ee33bd61d448c3f2fc6e578bf2c9b6f03e02c40f7940db2809e8 test/results/test0023-knight-posix-binary
5a03b54b8dd3b1a23ded115977206523dc14a430ef82debdba8c6dbd5251282a test/results/test0023-x86-binary
51cd8828b1e48aaffebad01763e65dadb57e962346c1d31165830437e452f9cf test/results/test0023-knight-posix-binary
c487702062d19227e59c1f6280ef5f24d48f9c652801f4a1eaa0412ec9dda92d test/results/test0023-x86-binary
e492e35afe92c5ccfc1d4fbd6da75ecfc1680cb331a768658e731bf5a5b4d0b0 test/results/test0100-aarch64-binary
ed42d7ef7b3f1e99b1266c9d8cc5032bd17f29880e2c1ddca7031795459a1aa7 test/results/test0100-amd64-binary
3abd9279114df2afa56fa3bbc2a5529174f8fb5d63878dc37f289ca48ef70f41 test/results/test0100-armv7l-binary
884ad9e2cd613f0aa9be7c0059a5bb0e6720c5c665fe0fbe7c246a8344c2e285 test/results/test0100-knight-posix-binary
556a9518b121dbe7238c123983d6350543874052143c8e5ebfa02fa438a147ba test/results/test0100-x86-binary
aaf4fa670df4bf3a4369ac13e2bb2685d49b20e61e70ed36ffc71db17cd992bd test/results/test0100-knight-posix-binary
c21664610539bb9046895a98c46d8f30d24726278ad24f5ab7676d1f3b5d4925 test/results/test0100-x86-binary
4143145e0b03df893c64cc481703f8e5eab4cc8e881ee8138d82ccb1cd3978b5 test/results/test0101-aarch64-binary
0fcfca746f697fb2037cec05a934667efb8a7d15d1c5bb62c90a11c8bbe75eb8 test/results/test0101-amd64-binary
6e40185d52f0df1f55a0cc4a69780e4ef94e1ca5b11a5420964941b7b9bba7a9 test/results/test0101-armv7l-binary
e0b616d341129a37478911a0fae3e0c4b61b870a8255a85a7dec578c61fc401e test/results/test0101-knight-posix-binary
0a03e426eb647b3fc22c4f53771d5e6567c17d108e1d2f81ebb4f67a5a4b634a test/results/test0101-x86-binary
b49459649c771c4028dca40849423a7b6488520d99d7badcfcfb252ab3ef2d5e test/results/test0101-knight-posix-binary
551fd272d788bb5bcfb2bd54ac762ba8c5e6e1b67fd6a1a64ed1394d0a997781 test/results/test0101-x86-binary
ce03708749b6b2229a585083d1cd24842d93cd256648946d1a5ad8f6d761a7a6 test/results/test0102-aarch64-binary
d3f85a43b3fed5ba9ac2b4db5a509c9b13eae2392805ea7aae6c10490f627330 test/results/test0102-amd64-binary
f796b342443ddf49e21e097aa3a30221eb23ce7878d3eb3222c4fb99d1a32b02 test/results/test0102-armv7l-binary
fd84405026e14c37dab5b057dbe76b2e8e63548c0a889a1d9513dcb90fa8ea26 test/results/test0102-knight-posix-binary
c11ff48fff49fc722d69613d6ca111fbdb71d0ff435bb6a5d5b364becfa46966 test/results/test0102-x86-binary
e82594cb968ee20eb5e2ebeb36fca526eba1d2d6ac440085d307967dd7977abf test/results/test0102-knight-posix-binary
4aa547b1a55d15b70a350f0b74f1a551e684eb17ebcd9e09ef5654c59eb0990c test/results/test0102-x86-binary
603fd4fe17f8ef9eac12116003941702849b720021da23dc32582ca41192a792 test/results/test0103-aarch64-binary
f2114b5217c12952a85d580ad5914dd679888d93d176ee132ace9e8773916b3b test/results/test0103-amd64-binary
79cbb69a747b07d729db736bc177b52b344106387831a0210ff18fce92edf1cc test/results/test0103-armv7l-binary
c7c55d8107f0ab678cc83f50d7d161265917cc913cea8ab688b1406701427c48 test/results/test0103-knight-posix-binary
c067378bc976a44231fbf696d9c896f679cd718d53117b5059137256e94d6120 test/results/test0103-x86-binary
0f8f90238756cd49b2ab098ede160a7847365c99e20ccf742a3e3fefb65bfbd0 test/results/test0103-knight-posix-binary
87c3c6ac883900334d2caa6695cab42628d2cb554e2216a5d541ec349df458b0 test/results/test0103-x86-binary
29ebf09fbd9408bcac55925e3e95ad6669f60e36e7f345fc69d46060ac57ed13 test/results/test0104-aarch64-binary
2cc54e3c7a1f5eec07071dfb422c8a96e2a6bbd6eb8c99e25122e1abbcf89ed9 test/results/test0104-amd64-binary
5172743dab7c449c49d0ef8a6bebba4de8bdcb5fa490ec55fe41f6829064ee8d test/results/test0104-armv7l-binary
139819b8335579e6cc1d6f1fcdba56e17a78dccb289bf82ce67c4f85254bd6ad test/results/test0104-x86-binary
9a9c974c104966882de5be4a68d85cf88f7cdfb4c95ae9dcfabe58b2c8232bb1 test/results/test0104-x86-binary
f13054e49236e290ec195fef13c6d320a124f6cb883e406da695819bf64a580f test/results/test0105-aarch64-binary
a4cceec8c46c3f0e55d82286d5a67e52e44338b8f3af10e9de7671703e413053 test/results/test0105-amd64-binary
450ca9e7a1786c6f8ee55efd27a0006f991277f16965f6ada14d6e7df15b40f8 test/results/test0105-armv7l-binary
2cd2740feeea41f3359c7f97cd26da98a77893849bb6f5c230795227b9757e62 test/results/test0105-x86-binary
f8ed88b69c3388c73a24b82702be0df9b06e06a8132ed9b75aed5aa8260f3b2d test/results/test0105-x86-binary
682b63f332ee299bf4afb91356004b96a223e309dc44a7efeb1cbcd9f21aeb4c test/results/test0106-aarch64-binary
748feb37b35f89c16e00045c6bb5c787e7478023b128404cedd7a67b256b974c test/results/test0106-amd64-binary
a2a83f42119e646b389b98647cf6cf2aa9597185997c9453db746178c8c4c0bf test/results/test0106-armv7l-binary
99cb6024b886c9dc5ecaf38826dd70a3e823c3a647d20c5ccd2848628e54409f test/results/test0106-knight-native-binary
cad614f909f2b9ac0279b7b508193836bea3a050cecf987448d378f62f6af916 test/results/test0106-knight-posix-binary
c1f58b9b99e1d62814d911a853cce82c2e8220cdadf164c090bd0f3bf4d11caa test/results/test0106-x86-binary
512bafc0948c4ef43c8a6e3b127e367d7257c8945cfe4085da96eba981b3e863 test/results/test1000-aarch64-binary
5de2cdb33322b528329da225dab6b8f05a8a5795503ff970937d1634ca91a5e8 test/results/test1000-amd64-binary
9f96bc0d8a3d4d9e49c3f2b1fbde3f419b771d6df88ed29b608641ef771f9b68 test/results/test1000-armv7l-binary
6eae252e149aff54ef7eda08dfb791d453d278a18941699c05e48b01e18498c2 test/results/test1000-knight-posix-binary
1535c3c49a28ab35da41854d138845365870cd1e9b2fc69a08bc10687643799f test/results/test1000-x86-binary
46ccf7dcf14f7aa20552db20903b124f9ee1093175607e4982806388937751ac test/results/test1000-aarch64-binary
79373df1197f25984ac34b9e01bad6cef85c1871ff64a1002f7a391c09031ee0 test/results/test1000-amd64-binary
88bbd3e53850e13e0d51f18e7e956da3e0f3cc4d9b74212c3264c98923fd8421 test/results/test1000-armv7l-binary
39a1afb2b79f43151ef5fab7518c865df16918a2fd226818784641e9882dc8a5 test/results/test1000-knight-posix-binary
4b9dd75bf67c5d2c7d2bbb68e9da4bf0a8366b1a02a3f5ff3fa84c8acc4d8a1d test/results/test1000-x86-binary

2
test/test1000/proof.answer
View File

@ -1 +1 @@
6c93e577ce86660e44152593e512a28698730ec5255965a106bb7b4f17232c1f test/test1000/proof
8e724bc57a36dcb214884a7a5975a31764051fe81b4ceef90b8d88aedd323b5b test/test1000/proof