> Can you file a bugreport and include a testcase for gnat.dg so that > we can reproduce? Bonus points if you manage to create a C testcase > of course ;)
How can I collect them exactly? ;-) unsigned long foo (int x) { return x > 0 ? (unsigned long) x : 0UL; } On x86-64/Linux with GCC 7.2.1, the t.c.003t.original dump contains: ;; Function foo (null) ;; enabled by -tree-original { return (long unsigned int) MAX_EXPR <x, 0>; } With mainline, it contains: ;; Function foo (null) ;; enabled by -tree-original { return x > 0 ? (long unsigned int) x : 0; } -- Eric Botcazou