clang/Analysis/FlowSensitive/DataflowSolver.h: <functional> should be just a STL header.