search for: propgateequ

Displaying 2 results from an estimated 2 matches for "propgateequ".

2017 Apr 11
5
Potential issue with noalias @malloc and @realloc
...= malloc(sizeof(int));   if (!p1) return 20;   int value = 0;   if (p0 == p1) {     for (int i = 0; i < 1; i++) {       *p1 = 20;       value = *p1;       if (false)         a();     }   } else {     // Other copy of the loop that calls b() in dead code   }   return result; } and then run GVN::propgateEquality that replaces one use of p1 with p0 but not the other (for some reason, say the other use was obscured behind a function call): int f() {   int* p0 = malloc(size of(int));   free(p0);   int* p1 = malloc(sizeof(int));   if (!p1) return 20;   int value = 0;   if (p0 == p1) {     for (int i = 0;...
2017 Apr 12
4
Potential issue with noalias @malloc and @realloc
...> for (int i = 0; i < 1; i++) { > > *p1 = 20; > > value = *p1; > > if (false) > > a(); > > } > > } else { > > // Other copy of the loop that calls b() in dead code > > } > > return result; > > } > > > > and then run GVN::propgateEquality that replaces one use of p1 with p0 > > but not the other (for some reason, say the other use was obscured > > behind a function call): > > > > int f() { > > int* p0 = malloc(size of(int)); > > free(p0); > > int* p1 = malloc(sizeof(int)); > > if...