GraphBLAS/graphblas-api-cpp

Inspect and normalize our specification of undefined behavior

Opened this issue · 0 comments

BenBrock commented

We must ensure we distinguish between two kinds of UB:

  1. UB where the behavior of the program is undefined

  2. UB where the state of an object, value returned from a function are undefined.