[gnufx]

Does Infer actually provide anything for C which you don't get from the clang analyzer, for instance? That wasn't clear when I tried it a while ago.