Lines Matching defs:ErrNode

505   ExplodedNode *ErrNode = nullptr;
548     if (!ErrNode)
549       ErrNode = C.generateNonFatalErrorNode();
552     if (!ErrNode)
588                                                        Buf, ErrNode);
598   if (ErrNode) {
599     C.addTransition(State, ErrNode);
678   ExplodedNode *ErrNode = C.generateNonFatalErrorNode();
679   if (!ErrNode)
710                                                      ErrNode);
741   ExplodedNode *ErrNode = C.generateErrorNode();
742   if (!ErrNode)
752                                                      Buf, ErrNode);