| sewardj | 99a2ceb | 2007-11-09 12:30:36 +0000 | [diff] [blame] | 1 | #include <stdlib.h> |
| 2 | |||||
| 3 | static void func1(char *pointer) | ||||
| 4 | { | ||||
| sewardj | 728ae1c | 2007-11-25 15:40:17 +0000 | [diff] [blame] | 5 | __attribute__((unused)) int dummy = 0; |
| sewardj | 99a2ceb | 2007-11-09 12:30:36 +0000 | [diff] [blame] | 6 | return; |
| 7 | } /* Line 7 x86-64*/ | ||||
| 8 | |||||
| 9 | int main(int argc, char *argv[]) | ||||
| 10 | { | ||||
| 11 | func1((char *)malloc(64)); /* Line 11 */ | ||||
| 12 | |||||
| 13 | return 0; | ||||
| 14 | } /* Line 14 x86 due to timing of stack invalidation */ | ||||