On Mon, 2019-03-18 at 16:57 +0800, Yuyang Du wrote:> check_prev_add() always has save_trace() as an input argument, which is> unnecessary.I think this kind of transformation is called constant propagation. You maywant to mention that name. Anyway:Reviewed-by: Bart Van Assche <bvanassche@acm.org>