Hi everyone. "clang --analyze" for the snippet below only reports null pointer dereference:
int main() { *(int*) 0; 1 / 0; } Here it only reports division by zero: int main() { 1 / 0; *(int*) 0; } And here it reports both: int main(int argc, char* argv[]) { argc > 2 ? *(int*) 0 : 1 / 0; } Does it mean that paths unreachable due to fatal errors are not checked? If yes, is there a way to ask for full coverage? Thank you. - Alex _______________________________________________ cfe-users mailing list cfe-users@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/cfe-users