Searched refs:subliteral_depth (Results 1 – 1 of 1) sorted by relevance
446 int subliteral_depth = literal->InitDepthAndFlags() + 1; in InitDepthAndFlags() local447 if (subliteral_depth > depth_acc) depth_acc = subliteral_depth; in InitDepthAndFlags()574 int subliteral_depth = literal->InitDepthAndFlags() + 1; in InitDepthAndFlags() local575 if (subliteral_depth > depth_acc) depth_acc = subliteral_depth; in InitDepthAndFlags()