Fix #13047 (Add a --premium=safety-off option to explicitly turn off safety features)#6738

danmar merged 4 commits intocppcheck-opensource:maincppcheck-opensource/cppcheck:mainfrom

cppchecksolutions:fix-13047cppchecksolutions/cppcheck:fix-13047Copy head branch name to clipboard