blob: bef85e6ae50d071f370c6a635e71719cf79c45be (
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) {
volatile char * a = dst;
while (count-- > 0)
*a++ = s;
return dst;
}
|
