Skip to content

Commit 4057726

Browse files
committed
Clang-format library code after removing "inline"
1 parent 6064cb6 commit 4057726

File tree

9 files changed

+241
-103
lines changed

9 files changed

+241
-103
lines changed

src/ansi-c/library/errno.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55

66
__CPROVER_thread_local int __CPROVER_errno;
77

8-
int * __error(void)
8+
int *__error(void)
99
{
1010
return &__CPROVER_errno;
1111
}

src/ansi-c/library/getopt.c

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,8 +11,7 @@ extern int optind;
1111
__CPROVER_bool __VERIFIER_nondet___CPROVER_bool();
1212
size_t __VERIFIER_nondet_size_t();
1313

14-
int getopt(
15-
int argc, char * const argv[], const char *optstring)
14+
int getopt(int argc, char *const argv[], const char *optstring)
1615
{
1716
__CPROVER_HIDE:;
1817
int result=-1;
@@ -64,7 +63,7 @@ int getopt(
6463

6564
int getopt_long(
6665
int argc,
67-
char * const argv[],
66+
char *const argv[],
6867
const char *optstring,
6968
const struct option *longopts,
7069
int *longindex)

src/ansi-c/library/intrin.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -101,7 +101,8 @@ long _InterlockedCompareExchange(long volatile *p, long v1, long v2)
101101

102102
/* FUNCTION: _InterlockedCompareExchange64 */
103103

104-
long long _InterlockedCompareExchange64(long long volatile *p, long long v1, long long v2)
104+
long long
105+
_InterlockedCompareExchange64(long long volatile *p, long long v1, long long v2)
105106
{
106107
__CPROVER_HIDE:;
107108
__CPROVER_atomic_begin();

0 commit comments

Comments
 (0)