Notes:

Co-dependent variables:

void foo(char *p) {

bool b = (p!=0);

if(b)

*p = 'q'; //warning