Dear Pixman Developers, While doing some experiments using a toolkit built around CBMC we noticed that test/utils-prng.c has code like
randdata.vb |= (t.vb >= const_C0); (http://cgit.freedesktop.org/pixman/tree/test/utils-prng.c#n131) with all operands being vectors. While our type checker struggled here, there isn't necessarily anything wrong with this statement. Yet I was wondering whether this was really doing what the developer intended to do: effectively this will either leave randdata.vb unchanged (if the right-hand side is false) or will set all (!) bits of randdata.vb as, at least on the platforms that I tried, comparisons on vectors yield (unsigned)-1 as representation of "true." Best, Michael PS.: I'm not subscribed, please keep me CC'ed. _______________________________________________ Pixman mailing list Pixman@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/pixman