Leo

My point is that when I run cclyzer on the un-optimized code, it tells me that there is a source pointer (`%1`) that points to `*null*`, but when I run...