What makes it easier to predict what code will never allocate more than 3GB than to predict what might become performance critical? How do the failure modes dif

What makes it easier to predict what code will never allocate more than 3GB than to predict what might become performance critical? How do the failure modes differ if the prediction is incorrect?