Launchpad has imported 3 comments from the remote bug at https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60855.
If you reply to an imported comment from within Launchpad, your comment will be sent to the remote bug automatically. Read more about Launchpad's inter-bugtracker facilities at https://help.launchpad.net/InterBugTracking. ------------------------------------------------------------------------ On 2014-04-15T21:33:20+00:00 Brady Garvin wrote: Created attachment 32611 Preprocessed source $ cat gcc-bug.cpp int main() { unsigned count = 5; bool array[count]; [&array] () { array[0] = sizeof(array) > 5; }(); return 0; } $ g++ -Wall -Wextra --std=c++11 gcc-bug.cpp gcc-bug.cpp: In lambda function: gcc-bug.cpp:6:5: warning: ‘<anonymous>’ is used uninitialized in this function [-Wuninitialized] }(); ^ gcc-bug.cpp:3:21: note: ‘<anonymous>’ was declared here bool array[count]; ^ gcc-bug.cpp:6:5: internal compiler error: in expand_expr_real_1, at expr.c:9363 }(); ^ Please submit a full bug report, with preprocessed source if appropriate. See <file:///usr/share/doc/gcc-4.8/README.Bugs> for instructions. Preprocessed source stored into /tmp/ccVaDFxq.out file, please attach this to your bugreport. $ g++ -v Using built-in specs. COLLECT_GCC=g++ COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.8/lto-wrapper Target: x86_64-linux-gnu Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.8.1-10ubuntu9' --with-bugurl=file:///usr/share/doc/gcc-4.8/README.Bugs --enable-languages=c,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.8 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.8 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-4.8-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-4.8-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-4.8-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu Thread model: posix gcc version 4.8.1 (Ubuntu/Linaro 4.8.1-10ubuntu9) $ # Closest I could find by searching is http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56699. Reply at: https://bugs.launchpad.net/ubuntu/+source/gcc-4.8/+bug/1308261/comments/0 ------------------------------------------------------------------------ On 2014-04-15T22:53:28+00:00 Brady Garvin wrote: Also ICEs in 4.9.0: /usr/lib/gcc-snapshot/bin/g++ -v Using built-in specs. COLLECT_GCC=/usr/lib/gcc-snapshot/bin/g++ COLLECT_LTO_WRAPPER=/usr/lib/gcc-snapshot/libexec/gcc/x86_64-linux-gnu/4.9.0/lto-wrapper Target: x86_64-linux-gnu Configured with: ../src/configure -v --with-pkgversion='Ubuntu 20130917-1ubuntu1' --with-bugurl=file:///usr/share/doc/gcc-snapshot/README.Bugs --enable-languages=c,ada,c++,java,go,fortran,objc,obj-c++ --prefix=/usr/lib/gcc-snapshot --enable-shared --enable-linker-build-id --disable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-4.9-snap-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-4.9-snap-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-4.9-snap-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --with-tune=generic --enable-checking=yes --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu Thread model: posix gcc version 4.9.0 20130917 (experimental) [trunk revision 202647] (Ubuntu 20130917-1ubuntu1) Reply at: https://bugs.launchpad.net/ubuntu/+source/gcc-4.8/+bug/1308261/comments/2 ------------------------------------------------------------------------ On 2014-04-16T08:24:07+00:00 Rguenth wrote: Confirmed. We trap on 9446 /* Variables inherited from containing functions should have 9447 been lowered by this point. */ 9448 context = decl_function_context (exp); 9449 gcc_assert (SCOPE_FILE_SCOPE_P (context) 9450 || context == current_function_decl 9451 || TREE_STATIC (exp) 9452 || DECL_EXTERNAL (exp) 9453 /* ??? C++ creates functions that are not TREE_STATIC. */ (gdb) l 9454 || TREE_CODE (exp) == FUNCTION_DECL); where the context is 'main' but cfun is 'operator()' and 'exp' is the SSA_NAME_VAR of an SSA name. Index: gcc/tree-ssa.c =================================================================== --- gcc/tree-ssa.c (revision 209423) +++ gcc/tree-ssa.c (working copy) @@ -686,6 +686,13 @@ verify_ssa_name (tree ssa_name, bool is_ return true; } + if (SSA_NAME_VAR (ssa_name) != NULL_TREE + && decl_function_context (SSA_NAME_VAR (ssa_name)) != cfun->decl) + { + error ("SSA name for variable not belonging to the current function"); + return true; + } + if (is_virtual && !virtual_operand_p (ssa_name)) { error ("found a virtual definition for a GIMPLE register"); should catch the root cause. Well, it's already bogus at into-SSA time. Index: gcc/tree-cfg.c =================================================================== --- gcc/tree-cfg.c (revision 209423) +++ gcc/tree-cfg.c (working copy) @@ -2972,6 +2989,15 @@ verify_expr (tree *tp, int *walk_subtree } break; + case VAR_DECL: + if (decl_function_context (t) + && decl_function_context (t) != cfun->decl) + { + error ("invalid context of variable"); + return t; + } + break; + default: break; } makes it error after CFG construction. So it must be an error during un-nesting (which is interwinded with gimplification). Confirmed, not a regression. Reply at: https://bugs.launchpad.net/ubuntu/+source/gcc-4.8/+bug/1308261/comments/3 ** Changed in: gcc Status: Unknown => Confirmed ** Changed in: gcc Importance: Unknown => Medium ** Bug watch added: GCC Bugzilla #56699 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56699 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1308261 Title: ICE provoked by a lambda using the sizeof a captured stack-allocated array To manage notifications about this bug go to: https://bugs.launchpad.net/gcc/+bug/1308261/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
