From 078d3f1c1e6249e2d037269c968b92b48a3915aa Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Sun, 1 Nov 2015 16:52:08 -0800 Subject: [PATCH] Remove special treatment of harness code Reviewed By: jvillard Differential Revision: D2604575 fb-gh-sync-id: 005199f --- infer/src/backend/ondemand.ml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/infer/src/backend/ondemand.ml b/infer/src/backend/ondemand.ml index 2c56011f2..3959b0f10 100644 --- a/infer/src/backend/ondemand.ml +++ b/infer/src/backend/ondemand.ml @@ -59,16 +59,12 @@ let procedure_should_be_analyzed curr_pdesc proc_name = = proc_attributes.ProcAttributes.loc.Location.file in - let is_harness () = - string_contains "InferGeneratedHarness" (Procname.to_simplified_string proc_name) in - !Config.ondemand_enabled && proc_attributes.ProcAttributes.is_defined && (* we have the implementation *) not currently_analyzed && (* avoid infinite loops *) not already_analyzed && (* avoid re-analysis of the same procedure *) (across_files () || (* whether to push the analysis into other files *) - same_file proc_attributes) && - not (is_harness ()) (* skip harness procedures *) + same_file proc_attributes) | None -> false