On 04/08/2017 09:11 AM, Jean-Marc Lasgouttes wrote: > Le 27/03/2017 à 17:04, Jean-Marc Lasgouttes a écrit : >> Dear all, >> >> I have an issue with a coverity issue (err...). In the attached >> screenshot, coverity tells me, as I see it that buffer() may throw an >> exception. But my reading of the code is that this can not happen >> because of isBufferLoaded(). >> >> Did I miss something? Otherwise I will need to annotate the code as in >> the (still incomplete) attached patch. > > FYI, I finally "fixed" that by using the naked pointer buffer_ instead > of the methode buffer().
I saw that. It looks like a good solution, and it makes the code no less readable. Richard