Commits on Oct 26, 2021

1. Consider indirect mutation during const qualification dataflow …

   Previously a local would be qualified if either one of two separate data
   flow computations indicated so. First determined if a local could
   contain the qualif, but ignored any forms of indirect mutation. Second
   determined if a local could be mutably borrowed (and so indirectly
   mutated), but which in turn ignored the qualif.
   
   The end result was incorrect because the effect of indirect mutation was
   effectivelly ignored in the all but the final stage of computation.
   
   In the new implementation the indirect mutation is directly incorporated
   into the qualif data flow. The local variable becomes immediately
   qualified once it is mutably borrowed and borrowed place type can
   contain the qualif.
   
   In general we will now reject additional programs, program that were
   prevously unintentionally accepted.
   
   There are also some cases which are now accepted but were previously
   rejected, because previous implementation didn't consider whether
   borrowed place could have the qualif under the consideration.

   

   tmiasko committed Oct 26, 2021
   Configuration menu

   • View commit details
   • Copy full SHA for 93f85f5
   • Browse repository at this point

   Copy the full SHA

   93f85f5 View commit details

   Browse the repository at this point in the history