Sign in
fuchsia
/
third_party
/
llvm-project
/
82abd0da80c26fe9afbbd67f2a6653303ab2670f
/
.
/
klee
/
test
/
Feature
/
ExternalWeakLinkage.c
blob: c20081360418f6073ebe197effab0f4fdb8f1ebb [
file
] [
log
] [
blame
]
// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc
// RUN: %klee --exit-on-error %t1.bc
#include
<assert.h>
void
__attribute__
((
weak
))
IAmSoWeak
(
int
);
int
main
()
{
assert
(
IAmSoWeak
==
0
);
return
0
;
}