Searched refs:maxPushedAtomId (Results 1 – 3 of 3) sorted by relevance
382 int maxPushedAtomId = 2; in collate_atoms() local452 if (atomDecl.code < PULL_ATOM_START_ID && atomDecl.code > maxPushedAtomId) { in collate_atoms()453 maxPushedAtomId = atomDecl.code; in collate_atoms()457 atoms->maxPushedAtomId = maxPushedAtomId; in collate_atoms()
114 int maxPushedAtomId; member
50 fprintf(out, "const static int kMaxPushedAtomId = %d;\n\n", atoms.maxPushedAtomId); in write_atoms_info_header_body()