Hi there,As you have seen, I have fixed the coverity issues labelled as bad. Unfortunately (or fortunately, I don't know), none of them were likely to cause bugs in real world. The only one is maybe d9c9c6b36d00, which avoid writing past the end of a C array.
Nevertheless it would be useful to make this list shrink, ideally to zero. JMarc
