Although most of the analyzer work is now on master I'm tracking additional work in a branch (for future features, work that isn't quite ready yet, etc).
This used to be "dmalcolm/analyzer" on the git mirror. The new git server doesn't seem to like such branch names [1], so I'm now using "devel/analyzer" Dave [1] remote: *** Shared development branches should be named devel/*, and should be documented in https://gcc.gnu.org/git.html . remote: error: hook declined to update refs/heads/dmalcolm/analyzer
