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


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

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

// ....

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