Merge pull request #5774 from keszybz/printf-annotations

Printf annotation improvements

diff --cc src/core/execute.c
Simple merge

diff --cc src/coredump/coredump.c
Simple merge