[Bug c++/62046] New: A catch in a class, without any try, compiles fine

[Bug c++/62046] New: A catch in a class, without any try, compiles fine

[gcc at themudrest dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62046

            Bug ID: 62046
           Summary: A catch in a class, without any try, compiles fine
           Product: gcc
           Version: 4.8.1
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gcc at themudrest dot com

A catch can follow a method in a class, without any try. Isn't this a syntax
error?  We couldn't find anything in the standard explaining it.

This is a vector for bugs in code, if your forget to include the try after a
method, the expected catch for throws in the method is not called.


Example code:

#include <iostream>

class TestTry
{
public:
    // if you include the try after the method
    // it is caught below, but if you forget it is not
    void FunctionCatch()  /*** No try here! ***/
    {
        std::cout << "FunctionCatch" << std::endl;
        throw 42;
        std::cout << "FunctionCatch post-throw" << std::endl;
    }
    // what is this catch doing here?
    // shouldn't this be a compile error?
    catch (...)
    {
        std::cout << "FunctionCatch caught!" << std::endl;
    }
};

int main(int argc, char *argv[])
{
    TestTry Object;

    try
    {
        Object.FunctionCatch();
    }
    catch (...)
    {
        std::cout << "caught in main" << std::endl;
    }
}

> g++ -Wall TestTry.cpp
> ./a.out 
FunctionCatch
caught in main

[Bug c++/62046] A catch in a class, without any try, compiles fine

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62046

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-08-07
     Ever confirmed|0                           |1

[Bug c++/62046] A catch in a class, without any try, compiles fine

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62046

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> ---
I think it can be reduced like this:

void foo() { } catch (...);
class bar { void foo() { } catch (...); };

we reject only the former.