about summary refs log tree commit diff homepage
path: root/test/Feature
diff options
context:
space:
mode:
authorJulian Büning <julian.buening@rwth-aachen.de>2018-10-28 16:11:18 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2019-03-05 10:39:50 +0000
commit46463adc26e29075c4cf87cc8f51d5a191929938 (patch)
treeb5b5636d879344e8cbd64ed66095425a240d5348 /test/Feature
parent44325801ed4840cb1c334b9810f16ea8d691e986 (diff)
downloadklee-46463adc26e29075c4cf87cc8f51d5a191929938.tar.gz
fix Executor::initializeGlobals for aliases pointing to another alias
Diffstat (limited to 'test/Feature')
-rw-r--r--test/Feature/Alias.c5
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;