]> git.ipfire.org Git - thirdparty/gcc.git/blobdiff - gcc/testsuite/gdc.test/compilable/test10520.d
d: Import dmd b8384668f, druntime e6caaab9, phobos 5ab9ad256 (v2.098.0-beta.1)
[thirdparty/gcc.git] / gcc / testsuite / gdc.test / compilable / test10520.d
index 9a24d84052721e586cd4d2739b3b2b27d99c86f2..d03b903d5710ccad8bf3dc762e756acb21a0c992 100644 (file)
@@ -1,11 +1,12 @@
 // REQUIRED_ARGS: -debug -profile
 
-// Issue 10520 [profile+nothrow] Building with profiler results in "is not nothrow" error on some contracts
+// https://issues.dlang.org/show_bug.cgi?id=10520
+// [profile+nothrow] Building with profiler results in "is not nothrow" error on some contracts
 
 void f() { }
 
 void g()()
 in { f(); } // OK <- Error: 'main.f' is not nothrow
-body { }
+do { }
 
 alias gi = g!();