// { dg-do run }// { dg-options "-O2" }// Test whether this builtin minimally works in G++.// Origin: Kaveh Ghazi Jan 16, 2001// Copyright (C) 2001 Free Software Foundation.//namespacestd{extern"C"voidabort(void);}intmain(){usingnamespacestd;if(::__builtin_strlen("hello")!=5)abort();return0;}