diff options
author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-10-28 16:11:18 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-05 10:39:50 +0000 |
commit | 46463adc26e29075c4cf87cc8f51d5a191929938 (patch) | |
tree | b5b5636d879344e8cbd64ed66095425a240d5348 /test/Feature | |
parent | 44325801ed4840cb1c334b9810f16ea8d691e986 (diff) | |
download | klee-46463adc26e29075c4cf87cc8f51d5a191929938.tar.gz |
fix Executor::initializeGlobals for aliases pointing to another alias
Diffstat (limited to 'test/Feature')
-rw-r--r-- | test/Feature/Alias.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/Feature/Alias.c b/test/Feature/Alias.c index 09abb3e0..f83652d8 100644 --- a/test/Feature/Alias.c +++ b/test/Feature/Alias.c @@ -10,6 +10,10 @@ int b = 52; extern int a __attribute__((alias("b"))); +// alias for alias +// NOTE: this does not have to be before foo is known +extern int foo2() __attribute__((alias("foo"))); + // alias for function int __foo() { return 52; } extern int foo() __attribute__((alias("__foo"))); @@ -19,6 +23,7 @@ int *c = &a; int main() { assert(a == 52); assert(foo() == 52); + assert(foo2() == 52); assert(*c == 52); return 0; |