NoQ added a comment.

> A value of an expression should have the same type and value-kind as the 
> expression.

F13121967: roflbot.jpg <https://reviews.llvm.org/F13121967>

Unfortunately i'm pretty worried about our ability to actually achieve that in 
the near future; as of now we don't even oblige to a much simpler 
sanity-inducing contract that the value in the Environment //never changes// 
throughout its lifetime.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D88477/new/

https://reviews.llvm.org/D88477

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to