Commits on Oct 23, 2023

1. [clang][dataflow] Remove declToLocConsistent() assertion. …

   As described [here](https://discourse.llvm.org/t/70086/6), there are legitimate
   non-bug scenarios where two `DeclToLoc` maps to be joined contain different
   storage locations for the same declaration. This patch also adds a test
   containing an example of such a situation. (The test fails without the other
   changes in this patch.)
   
   With the assertion removed, the existing logic in `intersectDenseMaps()` will
   remove the corresponding declaration from the joined DeclToLoc map.
   
   We also remove `removeDecl()`'s precondition (that the declaration must be
   associated with a storage location) because this may no longer hold if the
   declaration was previously removed during a join, as described above.

   

   martinboehme committed Oct 23, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 4d25701
   • Browse repository at this point

   Copy the full SHA

   4d25701 View commit details

   Browse the repository at this point in the history