On Thu, Jan 30, 2014 at 4:45 AM, Jason Merrill <ja...@redhat.com> wrote: > If a parameter of a covariant virtual function is volatile, we can't just > use the parameter directly in the call we build for the thunk, or the gimple > verifier will complain. We need to copy it into a temporary first. > > Tested x86_64-pc-linux-gnu. OK for trunk?
Please use if (!is_gimple_val (arg)) instead of testing TREE_THIS_VOLATILE, then it's also obvious that you can remove the assert (I suppose it would trip for an argument of volatile struct X for example?). Ok with that change. Thanks, Richard.
