init.cpp:1635 prints mapBlockIndex.size() without cs_main. This is technically a race (though it is rather inconsequential). At some point someone should fix this so tsan stops complaining.
size_t nNodes = 0;
    int nHeight = 0;
    CBlockIndex* pindexFirstInvalid = nullptr; 
    CBlockIndex* pindexFirstMissing = nullptr; 
    CBlockIndex* pindexFirstNeverProcessed = nullptr; 
    CBlockIndex* pindexFirstNotTreeValid = nullptr; 
    CBlockIndex* pindexFirstNotTransactionsValid = nullptr; 
    CBlockIndex* pindexFirstNotChainValid = nullptr; 
    CBlockIndex* pindexFirstNotScriptsValid = nullptr; 
    while (pindex != nullptr) {
        nNodes++;
        if (pindexFirstInvalid == nullptr && pindex->nStatus & BLOCK_FAILED_VALID) pindexFirstInvalid = pindex;
        if (pindexFirstMissing == nullptr && !(pindex->nStatus & BLOCK_HAVE_DATA)) pindexFirstMissing = pindex;
        if (pindexFirstNeverProcessed == nullptr && pindex->nTx == 0) pindexFirstNeverProcessed = pindex;
        if (pindex->pprev != nullptr && pindexFirstNotTreeValid == nullptr && (pindex->nStatus & BLOCK_VALID_MASK) < BLOCK_VALID_TREE) pindexFirstNotTreeValid = pindex;
        if (pindex->pprev != nullptr && pindexFirstNotTransactionsValid == nullptr && (pindex->nStatus & BLOCK_VALID_MASK) < BLOCK_VALID_TRANSACTIONS) pindexFirstNotTransactionsValid = pindex;
        if (pindex->pprev != nullptr && pindexFirstNotChainValid == nullptr && (pindex->nStatus & BLOCK_VALID_MASK) < BLOCK_VALID_CHAIN) pindexFirstNotChainValid = pindex;
        if (pindex->pprev != nullptr && pindexFirstNotScriptsValid == nullptr && (pindex->nStatus & BLOCK_VALID_MASK) < BLOCK_VALID_SCRIPTS) pindexFirstNotScriptsValid = pindex;
        
        if (pindex->pprev == nullptr) {
            
            assert(pindex->GetBlockHash() == consensusParams.hashGenesisBlock); 
            assert(pindex == chainActive.Genesis()); 
        }
        if (pindex->nChainTx == 0) assert(pindex->nSequenceId <= 0);  
        
        
        if (!fHavePruned) {