Coverity musings

[Jean-Marc Lasgouttes]

Le 19/09/2024 à 16:27, Jürgen Spitzmüller a écrit :
> Am Donnerstag, dem 19.09.2024 um 16:16 +0200 schrieb Jean-Marc
> Lasgouttes:
>> What I have in mind as a simpler alternative is this (like the last
>> patch, with vector instead of map).
> 
> Seems to make sense. I have no time to look closer now, unfortunately.

It turns out that I forgot to change the variable type in TeXBottomHLine 
and that a vector<bool> is not convenient for our use. Indeed, it is 
specialized in the C++ library to use a birfield so that one cannot do 
things like:
   vec1[c] |= vec2[c];

The possible solutions make the code less readable. For now I just stuck 
to the existing data structure (a map).

Let's see whether Coverity is happy with that.

JMarc