Searched refs:depth_acc (Results 1 – 1 of 1) sorted by relevance
432 int depth_acc = 1; in BuildConstantProperties() local452 if (m_literal->depth() >= depth_acc) depth_acc = m_literal->depth() + 1; in BuildConstantProperties()499 set_depth(depth_acc); in BuildConstantProperties()517 int depth_acc = 1; in BuildConstantElements() local526 if (m_literal->depth() + 1 > depth_acc) { in BuildConstantElements()527 depth_acc = m_literal->depth() + 1; in BuildConstantElements()553 if (is_simple && depth_acc == 1 && array_index > 0 && in BuildConstantElements()570 set_depth(depth_acc); in BuildConstantElements()