.gitignore: Ignore folders and files of static code analysis tools

(Cherry-pick commits fa3ebc3, 8550ecd from 'master' branch.)

diff --git a/.gitignore b/.gitignore
index baa755f4f199af0b87a87ba6ed0c0963b8e82f5f..d7659c791941a2562a8ca0f7488f6a5807b76310 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -67,3 +67,10 @@ Makefile.in
 /tests/test_atomic_include.h
 /tests/test*.log
 /tests/test*.trs
+
+# Code analysis tools:
+/.sv*-dir
+/cov-int
+/pvs-project.log
+/pvs-project.tasks
+/strace_out