Merge remote-tracking branch 'origin/master' into stable

Marina Polyakova · Marina Polyakova · commit e4301db77a75 · 2023-01-27T13:04:18.000+03:00
diff --git a/travis/run_tests.sh b/travis/run_tests.sh
@@ -64,6 +64,7 @@ if [ "$LEVEL" = "hardcore" ]; then
 	# perform static analyzis
 	scan-build --status-bugs \
 	-disable-checker core.UndefinedBinaryOperatorResult \
+	-disable-checker core.DivideZero \
 	-disable-checker deadcode.DeadStores \
 	make USE_PGXS=1 || status=$?
 
