Skip to content

Commit 3eaed93

Browse files
authored
Merge pull request #3669 from tautschnig/int128
__int128 is not supported by Visual Studio
2 parents bcfd22b + 60705e3 commit 3eaed93

File tree

2 files changed

+6
-1
lines changed

2 files changed

+6
-1
lines changed

buildspec-windows.yml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,6 @@ phases:
4848
Remove-Item cbmc\byte_update5 -Force -Recurse
4949
Remove-Item cbmc\byte_update6 -Force -Recurse
5050
Remove-Item cbmc\byte_update7 -Force -Recurse
51-
Remove-Item cbmc\unsigned___int128 -Force -Recurse
5251
Remove-Item cbmc-library\pipe-01 -Force -Recurse
5352
Remove-Item cpp -Force -Recurse
5453
Remove-Item cbmc-cpp -Force -Recurse

regression/cbmc/unsigned___int128/main.c

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1+
#ifndef __GNUC__
2+
void reduce()
3+
{
4+
}
5+
#else
16
# include <stdint.h>
27

38
typedef unsigned __int128 uint128_t;
@@ -109,3 +114,4 @@ void reduce(
109114
out[2] < p[1] || (out[2]==p[1] && (out[1]<p[2] || out[1]==p[2]
110115
&& (out[0]<p[3]))))));
111116
}
117+
#endif

0 commit comments

Comments
 (0)