ErrReporter

Potential NPE in AnnotatedTerm.java

2

Hello, Our static analyses found a following potential NPE: 1. Return null to caller https://github.com/ultimate-pa/smtinterpol/blob/828ec76df5a88e07883a616002688ad6f2d8a184/Library-SMTLIB/src/de/uni_freiburg/informatik/ultimate/logic/Theory.java#L1579 2. Return the return value of function term to caller https://github.com/ultimate-pa/smtinterpol/blob/828ec76df5a88e07883a616002688ad6f2d8a184/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/dpll/Clause.java#L292 3. Function toTerm executes...

https://github.com/nghttp2/nghttp2/blob/7b46edb483a47a2a0d558034be8c44a49da35295/lib/nghttp2_session.c#L1520-L1522 We notice that in other places, there is a more suitable error code `NGHTTP2_ERR_SESSION_CLOSING` returned when the session is closing. It is worthwhile to differentiate different errors.