id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
1630	Optimizer sometimes incorrectly drops procedure arguments	sjamaan		"Found by megane while looking into a patch of mine to improve variable replacements:

{{{
(define (foo bindings)                                                                            
  (define (append-map proc lst1)                                                                                                        
    (if lst1                                                                                                                            
        (proc 1)                                                                                                                        
        (proc 1 2)))                                                                                                                    
  (append-map (lambda (b a) (begin)) bindings))
}}}

Compile this with -O3 and it will error out with this message:

{{{Error: Arguments to inlined call of `a150' do not match parameter-list (b a)}}}

After fixing this, we can remove the {{{(not captured)}}} test in the {{{'replaceable}}} code."	defect	closed	major	5.2	compiler	5.1.0	fixed			hard