Lines Matching full:lose
292 // had a bug that caused 'x' to lose its default symbolic value after the535 // When using basic-store, we get a null dereference here because we lose information
