New file: EFfectAnalysis.cpp.

Use LLVM_DEBUG for debug logging.
Remove unneeded isInline() check in functionIsVerifiable

Author: Doug Wyatt

clang/include/clang/Sema/Sema.h

@@ -488,6 +488,10 @@ struct FunctionEffectDifferences : public SmallVector<FunctionEffectDiff> {
                             const FunctionEffectsRef &New);
 };
 
+// Defined in EffectAnalysis.cpp. TODO: Maybe make this a method of Sema and move 
+// more of the effects implementation into that file?
+void performEffectAnalysis(Sema &S, TranslationUnitDecl *TU);
+
 /// Sema - This implements semantic analysis and AST building for C.
 /// \nosubgrouping
 class Sema final : public SemaBase {