Incomplete type information

• void* return1st(void* x,void* y) { return x; }

• (a ref?, b) ?? a ref?

• The type variable a indicates that the type of the contents of the pointer x is unconstrained

  • But it must be the same as the type of the contents of pointer y

• Increases the set of queries that Lackwit can answer with precision

Previous slide

Next slide

Back to first slide

View graphic version