Bug path

‘ek’: events 1-2

17	char *b2 = 0;
	^~
	\|
	(1) ‘b2’ is NULL
18
19	if (b2 != 0) / { dg-warning "dereference of NULL" } */
	~~~
	\|
	(2) dereference of NULL ‘b2’