From ff3455452acb401e1eddd624bfe210687017f011 Mon Sep 17 00:00:00 2001
From: Dulma Rodriguez <dulmarod@fb.com>
Date: Fri, 4 Mar 2016 10:26:18 -0800
Subject: [PATCH] Add trace to frontend checks

Reviewed By: cristianoc

Differential Revision: D3011918

fb-gh-sync-id: 51931a8
shipit-source-id: 51931a8
---
 infer/src/clang/cFrontend_errors.ml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/infer/src/clang/cFrontend_errors.ml b/infer/src/clang/cFrontend_errors.ml
index d31dda836..1b0925dee 100644
--- a/infer/src/clang/cFrontend_errors.ml
+++ b/infer/src/clang/cFrontend_errors.ml
@@ -39,7 +39,12 @@ let log_frontend_warning pdesc warn_desc =
     Errdesc.explain_frontend_warning warn_desc.description warn_desc.suggestion loc in
   let exn = Exceptions.Frontend_warning
       (warn_desc.name, err_desc, __POS__) in
-  Reporting.log_error_from_errlog errlog exn ~loc:(Some loc)
+  let trace = [
+    { Errlog.lt_level = 0;
+      Errlog.lt_loc = warn_desc.loc;
+      Errlog.lt_description = "";
+      Errlog.lt_node_tags = []}] in
+  Reporting.log_error_from_errlog errlog exn ~loc:(Some loc) ~ltr:(Some trace)
 
 (* General invocation function for checkers
    Takes