[PATCH] [analyzer][Bugfix] Do not invalidate regions passed to pthread* functions

[Ted Kremenek]

This feels like a big hammer to wield just to prevent the conservative invalidation done by the static analyzer for calls to functions whose bodies are not available.

I feel like a more general approach might be to provide new hooks for checkers to provide hints to the core analyzer engine.  For example, a callback that indicates whether or not invalidation should take place.  That seems like a solution that could be utilized by other checkers besides just this one, and would allow checkers to opt into this with very little code.

http://reviews.llvm.org/D5247