Home | History | Annotate | Download | only in Checkers

Lines Matching refs:ErrNode

497   ExplodedNode *ErrNode = nullptr;
540     if (!ErrNode)
541       ErrNode = C.generateNonFatalErrorNode();
544     if (!ErrNode)
580                                                        OS.str(), ErrNode);
590   if (ErrNode) {
591     C.addTransition(State, ErrNode);
670   ExplodedNode *ErrNode = C.generateNonFatalErrorNode();
671   if (!ErrNode)
702                                                      OS.str(), ErrNode);
733   ExplodedNode *ErrNode = C.generateErrorNode();
734   if (!ErrNode)
744                                                      OS.str(), ErrNode);