diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-09-20 15:00:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-20 15:00:35 +0100 |
| commit | 1823ab801b50e781c18cff67cb8cda0d7859519e (patch) | |
| tree | 5a4aca500f4631b05622081bb3abeac8f2fe94fb /test | |
| parent | 1bfdbc61f2e14d8b0f2b5ca45ca8266c363cbfc5 (diff) | |
| parent | 95a39e0fe58c7b95588da97b3478eafba9920281 (diff) | |
| download | klee-1823ab801b50e781c18cff67cb8cda0d7859519e.tar.gz | |
Merge pull request #443 from MartinNowack/feat_assembler_raising
Extended support for assembler raising
Diffstat (limited to 'test')
| -rw-r--r-- | test/Feature/RaiseAsm.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Feature/RaiseAsm.c b/test/Feature/RaiseAsm.c index 6a4b7b3c..f8ba173a 100644 --- a/test/Feature/RaiseAsm.c +++ b/test/Feature/RaiseAsm.c @@ -36,5 +36,7 @@ int main() { assert(ui16 == byteswap_uint16(byteswap_uint16_asm(ui16))); assert(ui32 == byteswap_uint32(byteswap_uint32_asm(ui32))); + __asm__ __volatile__("" : : : "memory"); + return 0; } |