Searched refs:RetGeZero (Results 1 – 1 of 1) sorted by relevance
1027 auto RetGeZero = in evalFscanf() local1031 if (!RetGeZero) in evalFscanf()1033 StateNotFailed = StateNotFailed->assume(*RetGeZero, true); in evalFscanf()