diff --git a/infer/models/cpp/include/glog/logging.h b/infer/models/cpp/include/glog/logging.h new file mode 100644 index 000000000..49c74eee8 --- /dev/null +++ b/infer/models/cpp/include/glog/logging.h @@ -0,0 +1,20 @@ +/* + * Copyright (c) 2016 - present Facebook, Inc. + * All rights reserved. + * + * This source code is licensed under the BSD style license found in the + * LICENSE file in the root directory of this source tree. An additional grant + * of patent rights can be found in the PATENTS file in the same directory. + */ + +// glog/logging library has functionally equivalent but simpler +// definitions of some CHECK_* macros when STATIC_ANALYSIS is defined. +// Since infer wants those definitions, define the macro before including +// glog/logging.h +#ifndef STATIC_ANALYSIS +#define STATIC_ANALYSIS +#include_next +#undef STATIC_ANALYSIS +#else +#include_next +#endif diff --git a/infer/src/backend/config.ml b/infer/src/backend/config.ml index d0b074a22..80f1cf804 100644 --- a/infer/src/backend/config.ml +++ b/infer/src/backend/config.ml @@ -59,12 +59,6 @@ let whitelisted_cpp_methods = [ ["std"; "max"]; ["std"; "__less"]; ["google"; "CheckNotNull"]; - ["google"; "GetReferenceableValue"]; - ["google"; "Check_NEImpl"]; - ["google"; "Check_LEImpl"]; - ["google"; "Check_GTImpl"]; - ["google"; "Check_GEImpl"]; - ["google"; "Check_EQImpl"] ]