blob: b439001e27cdeae24d57b236974ddbaafe5da0fe (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
/*===-- memset.c ----------------------------------------------------------===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===*/
#include <stdlib.h>
void *memset(void *dst, int s, size_t count) {
char *a = dst;
while (count-- > 0)
*a++ = s;
return dst;
}
|
