Use static analyzer to check pinning state

[qinsoon]

This PR introduces some preliminary work to use GCChecker to check pinning state. The clangsa tests pass. But the checker found issues with the current runtime code base. Future PRs will fix that.

[qinsoon]

@udesou To run the checker on moma machines, you will need to change the following line in Make.inc. Comment out the following line,

CLANGSA_CXXFLAGS += --gcc-toolchain="$(abspath $(shell LANG=C $(CC) -print-search-dirs | grep '^install: ' | sed -e "s/^install: //")/../../../..)"

and use this instead:

CLANGSA_CXXFLAGS += --gcc-toolchain="/usr/lib/gcc/x86_64-linux-gnu/11" -I/usr/include/x86_64-linux-gnu/c++/11 -I/usr/include/c++/11 -D__STDCPP_WANT_MATH_SPEC_FUNCS__=1

[udesou]

I had a quick look at the changes in all files and they all look good to me. For the code in GCChecker.cpp, I think I'd have to have a proper look to understand what is going on there to suggest any changes. Hopefully we can capture possible bugs when running the checker and it can be reviewed by one of the Julia guys down the line. For now, it LGTM.