Commit Graph

6 Commits

Author SHA1 Message Date
Jean-Marc Lasgouttes
951cb62f47 Fixup 716e20ae: revert useless part 2024-09-11 13:37:32 +02:00
Jean-Marc Lasgouttes
716e20ae1b Limit the number of iterations for some tabular features in math
Try to please Coverity scan.
2024-09-11 13:29:20 +02:00
Jean-Marc Lasgouttes
2ea95fa71b Improve coverity modeling
This tells coverity that these functions terminate the program.
2024-09-09 17:50:01 +02:00
Jean-Marc Lasgouttes
db7054da9f Model lyx_exit() to tell coverity what it does 2017-03-31 16:51:02 +02:00
Jean-Marc Lasgouttes
21ecd4528a Tell coverity that LAPPERR kills LyX too. 2017-03-31 11:31:44 +02:00
Jean-Marc Lasgouttes
2a0e4c199c Fix coverity issues about exceptions
There a some exceptions related to the fact that BOOST_ASSERT throws
an unhandled exception, which is fait enough. This is handled by
uploading a modeling file to coverity.

The second batch of issues are related to the use of lexical_cast in
convert.cpp. We use now a wrapper around boost::lexical_cast that does
not throw but return empty strings instead. I am not sure actually of
when lexical_cast could fail.
2017-03-24 16:47:35 +01:00