blob: c21f1fa904ac2eac2bf92145e512a5b690eef153 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
//===-- 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>
__attribute__ ((weak)) void *memset(void * dst, int s, size_t count) {
volatile char * a = dst;
while (count-- > 0)
*a++ = s;
return dst;
}
|
