]> git.lyx.org Git - lyx.git/commit
projects / lyx.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4c02d6) | patch
Improve coverity modeling
authorJean-Marc Lasgouttes <lasgouttes@lyx.org>
Mon, 9 Sep 2024 15:50:01 +0000 (17:50 +0200)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Mon, 9 Sep 2024 15:50:01 +0000 (17:50 +0200)
commit2ea95fa71bf2085a1e8753df968f31bf43a80e73
treeb7ee2478b6c412b6b82adbddad019ef9e5fb4dbbtree | snapshot
parentf4c02d670b60a56bc6fb4a49e201c7134af1011bcommit | diff
Improve coverity modeling

This tells coverity that these functions terminate the program.
development/coverity_modeling.cpp diff | blob | history
The LyX Source Repository