On Thu, Nov 28, 2019 at 12:44:43AM +0100, Jakub Jelinek wrote: > Hi! > > On the following testcase the constexpr evaluation of the virtual call > fails, because what cxx_eval_constant_expression returns for > OBJ_TYPE_REF_OBJECT is actually not ADDR_EXPR, but ADDR_EXPR wrapped in > a NOP_EXPR. > > Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, ok for > trunk?
Looks ok. In fact, when working on constexpr dynamic_cast, I ran into a very similar problem and also added STRIP_NOPS. -- Marek Polacek • Red Hat, Inc. • 300 A St, Boston, MA