users/tazjin/presentations/tvix-eval-2023/cppnix-example-smuggling.cpp


1
2
3
4
5
6
7
8
9
10
11
12

struct Env {
  Value * values[0];
  // ... some more fields
};

// ....

if (env->type == Env::HasWithExpr) {
  Value * v = allocValue();
  evalAttrs(*env->up, (Expr *) env->values[0], *v, noPos, "<borked>");
  // ...
}