source: src/examples/gc_no_raii/bug-repro/void_pointer.c @ 385c130

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglergc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 385c130 was 385c130, checked in by Thierry Delisle <tdelisle@…>, 6 years ago

pre merge

  • Property mode set to 100644
File size: 244 bytes
Line 
1#include <stddef.h>
2#include <stdint.h>
3
4inline void* test(intptr_t address)
5{
6        return (void*)address;
7}
8
9//inline void* test2(void* address)
10//{
11//      return address & 0xFF;
12//}
13
14// inline int test()
15// {
16//      void* d = 0;
17//      return (int)d;
18// }
Note: See TracBrowser for help on using the repository browser.