[PATCH] [analyzer][Bugfix] RegionStore: use pointee type to create one-element regions

Aleksei Sidorin a.sidorin at samsung.com
Tue Aug 19 23:20:19 PDT 2014


I met this issue while debugging so it will take time to write a test case. But you can see that `GetElementZeroRegion()` expects //element// type but //pointer// type is returned if `Type.isNull() == true` branch. I'll provide a test case later.

http://reviews.llvm.org/D4974






More information about the cfe-commits mailing list