<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=http://email.email.llvm.org/c/eJylU8FuozAQ_RpyGYGwgRAOHLrbRuphq676BQNMwK2xkW2STb9-xzTVtueVEBjPeObNe8-dHa7tk71AmDDAhRJZO4JOnVbXY1BmBGsg2ecjBTLnRB4S2fAvdFcY6ISrDon8yefAT3bVA9CfRaMyECxXJFg9ObhM15gRJmXePvrE0GKVCRyd8QodgVm1zuBhzGKeB-UNQwmABlYzkPMBzYCdJnC0WBeS4i7J75P88y1FUv146R2RgZfJBpC5lGkuUnEAbiihElAW8Pwrqe55iimExcca8shPRJmqGUfy2ajCtHZxp7eMz4SstzPnyLwpD3XFK1HleSFlcUh7orrpa5HiQPu0PBR52mA1pH3ZU13t61KeRLaYMXL2BezjQKj19WPQG2_MAEK42NQHWm4zwoWxbFydFBMAW8jjNari7UyR0BG0eiNIpLzzfp3jRjxwRqc2triDYTYWR55ngagMh1lK5ayZeYtPZt-YLPMZXbBciJfcEt8m1DCxRXptPcNkf0Q1LfMasN8wcAvewZHFZEkV53OY4XAlRczz8WuH5-wlg0fQ9kwbGEMX6NbxXWmNm5nQw-vK815QbQ48Wcfk9BOafuvL4oAKSfXAz25oi6EpGtzhGibr2gntk_29W51uv4v8IexNTa3Pn590cfaVeibiqJhChiuPVSHr_W5qDyhqgV3XdFjsK1FS1ZUNnpqO9t2-E2KnsSPtW_Ye89hrZK2LO_ZqUD1bF_X1nRxH2HS7_8ej2mjqXIiDLISQRVbnzanEHMUpH4a8lywYzah0Futk1o07124lmV7PQa188P-C6L0aDdEN_qfWN7xBBU3t13sPcTC-6YtWAWYGF8XBTfxst2FtN6B_AftiaI0>53276</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
getenv() state split missing a note.
</td>
</tr>
<tr>
<th>Labels</th>
<td>
clang:static analyzer
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
steakhal
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
haoNoQ
</td>
</tr>
</table>
<pre>
Now that we're bifurcating on `getenv()` by default, we should explain to the user why we think that the pointer may be null. Eg. this isn't an understandable report:
![Screen Shot 2022-01-18 at 2 51 43 PM](https://user-images.githubusercontent.com/2094875/150032238-cee79c71-ade6-4830-9a5d-c4ce756742f1.png)
Ideally this should be a two-step report with the first step saying something like "Assuming the variable is not present in the environment".
@martong @steakhal how close are we to attaching note tag material to summaries?
P.S. I love the new bugzilla, was just waiting for a chance to use it^^
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxVUs1unDAQfhq4jEBgYFkOHNImK-XQKFWeYDCz4MTYyDbZbp6-Y7JRUwmB8dgz399gx2v_ZC8QZgxwoUS0jmBQ581JDMpMYA0kh2KiQOY9EcdEdPwLwxVGOuOmQyJ-8j3ws930CPRn1agMBMsdCTZPDi7zNZ4IszJvn3NiabXKBK4ueIWBwGxa5_Aw5fGcB-UNQwmABjYzkvMBzYiDJnC0WheS6i4p7pPi6y3KpPnxIh2RgZfZBhCFEFlRZuUReKCApoS6gudfSXPPLOYQVh97iBM_EWWmFpzI55MK8zbEHWkZnwm5tAufEUVXH9uGV2VTFJUQ1TGTRG0n2zLDkQ5ZfayKrMNmzGQtqW0ObS3OZb6aKWr2DezjSKj19ZPoTTdWACFcbOYDrTeOcGEsu1ZnxQLAXvJ4ja54u1AUdAKt3ggSIe6835a4ES-8o1O7WjzBsBqrI89cIDrDZbZSOWsW3uKb-X9K1sWCLlhuxEseiW8zapg5IlJbzzA5H9FNy7oGlDsGHsE7OLGZbKni81xmONxJEet8-j7hOX_J4RG0facdjKELDNv0obTGPUzo4XVjvhdUewLP1rE4ckYj97lsDqiQNA_8pGNfjV3VYRpU0NR_zykLxnDAr1oFWJT3sRnuYPN0c7r_PwWfzt_s1vr965Otzr6SZKVO3GNjPuLUVKI9pHM_sP0jEttfCVl1EttqPIyFrGlEPBRVqnEg7XsOJwstNXIYqruIS0nONurrBzmucCpT1cfMFmV5FFVZiipvi-5cY4HluRi5p2A_aEGl84gqt25KXb8DZPU8F7Xywf8rIhOeDNFt-JeVt2m4hdm6fkb7ZH-nO7F-Z_UX6jBTqA">