Oops a bug, when using -O or -O2 switch, the following code :
-- 8< --
#include
#include
int fib (int n) {
if (n<2)
return n;
else {
int x, y;
x = cilk_spawn fib (n-1);
y = cilk_spawn fib (n-2);
cilk_sync;
return (x+y);
}
}
int main (int argc, char *argv[]) {
int n, result;
n = atoi(argv[1]);
result = cilk_spawn fib(n);
cilk_sync;
printf ("Result: %d\n", result);
return 0;
}
-- 8< --
/opt/cilkplus/bin/gcc -pthread -O -o fib fib-cilk.c -lcilkrts
gives:
fib-cilk.c: In function main:
fib-cilk.c:27:1: error: definition in block 4 does not dominate use in block 3
for SSA_NAME: n_21(ab) in statement:
n_6(ab) = PHI
PHI argument
n_21(ab)
for PHI node
n_6(ab) = PHI
fib-cilk.c:27:1: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <> for instructions.
without -O or -O2 it build fine.
