Function validate_newKrausMapAllocs

quest/src/core/validation.cpp:2938–2973

}

void validate_newKrausMapAllocs(KrausMap map, const char* caller) {

    // unlike other post-creation allocation validation, this function
    // expects that when allocation failed and the heap fields have already
    // been cleared, that any nested field (like map.matrices) has had the
    // outer pointer set to null. Otherwise, we would illegally attempt to
    // enumerate the outer pointer to check non-null-ness of inner pointers,
    // which would segmentation fault after the outer pointer was freed!
    // Ergo, we know map.matrices=nullptr whenever anything else failed
    // (and is nullptr), so we must check it last so as not to false report 
    // it as the cause of the failure!

    // we expensively get node consensus about malloc failure, in case of heterogeneous hardware/loads,
    // but we avoid this if validation is anyway disabled
    if (!global_isValidationEnabled)
        return;

    // prior validation gaurantees this will not overflow
    qindex matrListMem = map.numMatrices * mem_getLocalMatrixMemoryRequired(map.numQubits, true, 1);
    tokenSubs vars = {
        {"${NUM_BYTES}",    matrListMem},
        {"${NUM_MATRICES}", map.numMatrices},
        {"${NUM_QUBITS}",   map.numQubits}};

    // assert the teeny-tiny heap flag was alloc'd
    assertAllNodesAgreeThat(mem_isAllocated(map.isApproxCPTP), report::NEW_HEAP_FLAG_ALLOC_FAILED, {{"${NUM_BYTES}", sizeof(*(map.isApproxCPTP))}}, caller);

    // assert that the superoperator itself was allocated (along with its own heap fields)
    bool isInKrausMap = true;
    assertNewSuperOpAllocs(map.superop, isInKrausMap, caller);

    // assert the list of Kraus operator matrices, and all matrices nad rows therein, were allocated
    // (this must be done last, since caller sets .matrices=nullptr) whenever an inner alloc failed
    bool krausAreAlloc = mem_isOuterAllocated(map.matrices);
    assertAllNodesAgreeThat(krausAreAlloc, report::NEW_KRAUS_MAP_CPU_MATRICES_ALLOC_FAILED, vars, caller);
}

void validate_newInlineKrausMapDimMatchesVectors(int numQubits, int numOperators, vector<vector<vector<qcomp>>> matrices, const char* caller) {