Sign in
fuchsia
/
third_party
/
llvm-project
/
64f305867da33959cb5d2e9854d3d8565735d37a
/
.
/
klee
/
test
/
Feature
/
IndirectCallToExternal.c
blob: 4603213baae87c58d09f6bb603822e0c9cc687ee [
file
] [
log
] [
blame
]
// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc
// RUN: %klee %t1.bc
#include
<stdlib.h>
#include
<stdio.h>
#include
<string.h>
#include
<assert.h>
int
main
()
{
int
(*
scmp
)(
char
*,
char
*)
=
strcmp
;
assert
(
scmp
(
"hello"
,
"hi"
)
<
0
);
return
0
;
}