tree d65339a68eff0898a47af8abb740474f10753486
parent 113898326b9cf3d9bb9edc3023e75fb3e4f82422
author Fangyi Zhou <me@fangyi.io> 1747330198 +0100
committer GitHub <noreply@github.com> 1747330198 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJoJiSWCRC1aQ7uu5UhlAAATT0QABfjR6LP5UzSpKwSw0htedot
 5p0wJKqmwHRCbzfeIjVmrzNYkAJuXxGiLOrgiquJzueu3kPo5uMIdrStWov6DEJC
 Y4z6Cf3PWzV/3rQtgPxAGd9kDzl4Fm4rZPWucBYU/pzIa8d1Gcu4U6kUVFvIgY9I
 s8CFBIRcmY6+TiV1+CKnEZeC8Y4j0Oqha6woDWz7uP4Dir3ke4hu4Vu9GC7yJySl
 oyAuFxmaYgfn9k3xP2rxZ6mgK2t3aha/ux57Z/HNTDBWIXlR/BU3E+gbwaQUAvES
 MpdPERzoAtAe8/7e18BINsYlUaJJhyY/iVgchfX9msVuFwYmnm8G+xytYOsgb0Bq
 pmY4Uz5Nb9A2ZdScDW0DUCcdtuPyHudSo8GJ/28/tdEDSCzsVBk2Xcnx/EteBYY7
 1pnG5Eolhv8XB9bWPlKTYMB40HloCQ1+kWnk2l8VzbKxBAjobzUn31pcg48W3ycA
 0G47H8vC7tkoM6O6ZcQVjLko5mxbW/xnSesms+tpXUzVLFNRXS2wagei0VoNIfgX
 C4fWNqpO4wV7Vo7uJZcpfWxDK6AkrfFxNtL3Vrg4/bfyVhadfNxDAP7uoD39MwYl
 1tlkZ8yOjuSRljX8cSIAyv6KONx0ta6hGy99zb9FHxWMzWPv2Tzbe3e6qegyzvfV
 LJjoTjGVhTTIpWMK49M1
 =ZxpA
 -----END PGP SIGNATURE-----
 

[clang][analyzer] Fix a nullptr dereference when -ftime-trace is used (Reland) (#139980)

Fixes #139779.

The bug was introduced in #137355 in `SymbolConjured::getStmt`, when
trying to obtain a statement for a CFG initializer without an
initializer.  This commit adds a null check before access.

Previous PR #139820, Revert #139936

Additional notes since previous PR:

When conjuring a symbol, sometimes there is no valid CFG element, e.g.
in the file causing the crash, there is no element at all in the CFG. In
these cases, the CFG element reference in the expression engine will be
invalid. As a consequence, there needs to be extra checks to ensure the
validity of the CFG element reference.