https://bitbucket.org/adelard/simple-concurrency
Tip revision: cd7dfa9b13e79137daa54446067371af0a68515d authored by Dan Sheridan on 27 February 2015, 15:32:58 UTC
Change -accesses-for to report accesses from the "main" entry point even if it is not explicitly listed in -threads; this better matches the behaviour of -var-overlap.
Change -accesses-for to report accesses from the "main" entry point even if it is not explicitly listed in -threads; this better matches the behaviour of -var-overlap.
Tip revision: cd7dfa9
test.c
#include "test2.h"
int global_val1;
int global_val4[4];
int main()
{
int a;
int *ptr1;
a = 5;
global_val1 = a;
global_val4[2] = a;
*(global_val4 + 5) = 12;
funcA();
ptr1 = &global_val4;
*ptr1 = 5;
return *ptr1;
}
void an_interrupt()
{
global_val1 = 0;
global_val4[2] = 17;
}