Searched refs:ReadSize (Results 1 – 1 of 1) sorted by relevance
514 uint64_t ReadSize = ReadSizeExpr.getValue(); in evalLoadExpr() local515 if (ReadSize < 1 || ReadSize > 8) in evalLoadExpr()538 EvalResult(Checker.readMemoryAtAddr(LoadAddr, ReadSize)), in evalLoadExpr()