Searched defs:line_numbers (Results 1 – 2 of 2) sorted by relevance
153 … final LineNumber[] line_numbers = ((LineNumberTable) attribute).getLineNumberTable(); in writeAttribute() local
907 std::ostream& os, std::vector<int>* line_numbers) { in PrintRawWasmCode()