Skip to content

CheckerGccPlugins: Checker updates.

Recognize std::shared_mutex as a mutex type.

divcheck needed to work around interference from ubsan, in which identical values could be assigned to distinct SSA vars. This needs to be tweaked slightly for gcc11, where these assignments can also use SSA_NAME tree codes.

Merge request reports