A call to a function known not to return.
Import path
import semmle.code.cpp.controlflow.internal.ConstantExprspredicate aborting(FunctionCall c)A call to a function known not to return.
import semmle.code.cpp.controlflow.internal.ConstantExprspredicate aborting(FunctionCall c)