From 49950afe265e9b204b31e02e1c8da1c844537aee Mon Sep 17 00:00:00 2001 From: Andrzej Kotulski Date: Mon, 5 Sep 2016 03:27:39 -0700 Subject: [PATCH] export __INFER__ macro when compiling code with infer Reviewed By: cristianoc Differential Revision: D3811693 fbshipit-source-id: 4282c0d --- infer/lib/clang_wrappers/global_defines.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/infer/lib/clang_wrappers/global_defines.h b/infer/lib/clang_wrappers/global_defines.h index 0341df8a5..8923088c2 100644 --- a/infer/lib/clang_wrappers/global_defines.h +++ b/infer/lib/clang_wrappers/global_defines.h @@ -7,6 +7,9 @@ * of patent rights can be found in the PATENTS file in the same directory. */ +// macro to help distinguish between infer compilation and normal one +#define __INFER__ 1 + // set _FORTIFY_SOURCE to 0 to prevent it from changing some function prototypes // https://securityblog.redhat.com/2014/03/26/fortify-and-you/ // We always do it when building models so we should do same thing