GRState.cpp: In member function ‘bool<unnamed>::ScanReachableSymbols::scan(const clang::MemRegion*)’: GRState.cpp:272: warning: empty body in an if-statement