diff --git a/buddy/ChangeLog b/buddy/ChangeLog index 8cca2b739..eacb95c01 100644 --- a/buddy/ChangeLog +++ b/buddy/ChangeLog @@ -1,3 +1,8 @@ +2011-08-28 Alexandre Duret-Lutz + + * examples/adder/adder.cxx (test_vector): Add parentheses to + remove a clang++-2.9 warning. + 2011-08-27 Alexandre Duret-Lutz * src/bddop.c (bdd_support): Speedup using a cache. diff --git a/buddy/examples/adder/adder.cxx b/buddy/examples/adder/adder.cxx index 771214ef2..1ce547300 100644 --- a/buddy/examples/adder/adder.cxx +++ b/buddy/examples/adder/adder.cxx @@ -35,7 +35,7 @@ void build_adder(void) xout[n] = ainp[n] ^ binp[n] ^ co[n-1]; co[n] = ainp[n] & binp[n] | ainp[n] & co[n-1] | - binp[n] & co[n-1]; + binp[n] & co[n-1]; } else { @@ -181,7 +181,8 @@ int test_vector(bdd av, bdd bv, int a, int b) { bdd resv = av & bv & xout[n]; - if (resv == bddfalse && (res & 1) || resv != bddfalse && !(res & 1)) + if ((resv == bddfalse && (res & 1)) + || (resv != bddfalse && !(res & 1))) return 0; res = res >> 1;