<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/140845>140845</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [clang-sa] Macro definitions of header TUs not included in the plist file
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          ankurkraj
      </td>
    </tr>
</table>

<pre>
    When analyzing a particular file ( using CTU ) . For a macro that is part of the bug-path - the definition of the macro is not included in the plist reports , if the macro is not called in the parent file but in any other intermediate file

Steps to reproduce the behaviour:

Following is a relatively simpler representation of the workflow

```
file1.c -> calls demo_function(10,0) defined in file2.c
file2.c -> uses macro DIVISION(a,b) in demo_function(int a, int b), macro DIVISION is defined in file3.h
file3.h -> defines DIVISION(a,b) as ((a)/(b))
```

I have followed the steps for [PCH analysis](https://clang.llvm.org/docs/analyzer/user-docs/CrossTranslationUnit.html#id7) The command I used was 
```
clang --analyze -Xclang -analyzer-config -Xclang experimental-enable-naive-ctu-analysis=true -Xclang -analyzer-config -Xclang ctu-dir=. -Xclang -analyzer-config -Xclang ctu-phase1-inlining=all -Xclang -analyzer-config -Xclang expand-macros=true  -Xclang -analyzer-output=pl
ist-multi-file  -I. file1.c file2.c file3.c
```

The result displayed on the screen includes the macro definition but the plist files do not contain these value
```
In file included from file1.c:1:
file2.c:15:50: warning: Division by zero [core.DivideZero]
 printf("Division of %d / %d is: %d\n", a, b, DIVISION(a,b));
 ^~~~~~~~~~~~~
file3.h:10:29: note: expanded from macro 'DIVISION'
#define DIVISION(a, b) ((a) / (b))
 ~~~~^~~~~
1 warning generated.
```

The expected behavious is to have the macro included in the plist file,  
This is present , but only in the cases when the entry function of the bug contains the MACRO, 

for eg. If in the above case, file2.c directly calls the demo_function(10,0) function in its main, the macro definition is found in that case

Is this an expected behaviour or a bug ? Are there any configurations I can tweak to bring the desirable results ?

What are the heuristics behind such decisions 



</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyMVk2P27wR_jX0ZSBBpqzYPvig2K9RH9IUzaYpeikocmwxS5MGSdl1Dv3txZDSrrPZvsjCWH2Q88wHn3lGIgR9sogb1nxkzW4mhtg7vxH2efDPXnyfdU7dN996tCCsMPcf2p5AwEX4qOVghIejNgiMr2AItLZ9-gqMr6GEvfMg4CykdxB7EUGHZAfuCLFH6IZTcRGxhyI9Kjxqq6N2dtqQTXUA6yJoK82gUIG2afFidIjg8eJ8DMD4FvQ7VlIY82AjPNqYI-4GwgRh7-Bijx60jejPqLSImLawqmVV-yXiJUB05Mo7NUjMwWMvrtoNntVt3rh3xrgblUAHEODRiKivaO4Q9Pli0CcEDGijeMzy5vzz0bhbRmEfqvFXtRTEvJRQsPqPlEkAhWf37-NgJSEwvppXjG8rqncqX06V7HgpRwQ-IQwBw1id3eEfhy-Hz39lfCUY33YEoO0v6NpGEKm0NgJtovufESjZN67rsh9d12WfXecd4V2_gk5vld-sGd8zvsqu1m_Kwar2AL24IhxTqVGl-oV0QEfngTUf_7b9S-Zp0IE1O8ZXfYyXQIdEyHtphD2VxlzPpfMnxvfKycD4PnMbPeP7IaAvxtdb70J48sIGk87sq9Wx7OPZMF5rtaTwn3oE6c5nYRUcqMYKbpTSz7Env1AUox8o_jm-mRwX0tmjPr0s4H8u6PWZyGIKtKIzWFihr1jIOBQvKda76IffgCMjpT2rd-Xvbb70IuC80NZoq-2J1TthzG-FLawqEkdeonvHzA3xMkRW7y6GVa0OsTgPJuoitSYUhxIm8k8UznySv3KCDsBjGEwEpcPFiDsqcLnhg_SIdtKO8KAPD2pDSvCqKOQngHJZPpyNIotHQLgKM-CbAA6Z86_ydPTuPAXP6nae9WFqybqdN6xum4rVLdyEz7VtYaevOqRg7vADvSMuS-expAWF_0LviM5VCxevbTymjuEvVu4IjDcKGN_nG6JGm25Zs7WMc-rc1Mod_XunD-lXfyQPrPnjvw9_r71M0VPgtLOl-iBd85FPmefqMr58dbGkkvE6a8Bb10lWHgRgTOFBAiAFkWNiVTufygYntOhFRFW-TwpqIRlRvWh1ILGKLmvIw6h4d7KkCcC3AAlNJ9tRvtO0IdY4a-6TlRQkrzcalPSINvo7TFr6MPImTmUyfmq3f_9McDlsUjE8lXA4TrCic9cMTrumZlDao4zmPk6FPD7_32R4CUJb0JFGgLYE9m4zaJLSwY7FEDG7zuJLjmi22V9L6yENe8qP1XtofSqwxzRfs0YMPklogANIYSHeUDzTaXSeDjOnELQnpRv7ORBW9v2NQhEZFXocvA5Ry0D-tVUQBtmDQpm6IYzFZFU7U5tareu1mOFmvlwsV1XD62rWb5adWnfVSvDFGuf1h2bR1Kt1I9co6EmsZnrDK95UDZ9XDV_Oq3K5WMiuU0qiPH6Yr45sUeFZaPMyTGY6hAE380W1WjQzIzo0IX1VcW7xBmmVGrHZzfyGjIpuOAW2qIhu4RUm6mjS51jSzCII1uzg05tzCsSoHoVCD09f_-wLiSgzG7zZ_DwITzr2Q1dKd2Z8T77HS3Hx7jvKyPg-RUxTcEzpuuH_CwAA__8v1FTT">