Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Q&A

Welcome to Software Development on Codidact!

Will you help us build our independent community of developers helping developers? We're small and trying to grow. We welcome questions about all aspects of software development, from design to code to QA and more. Got questions? Got answers? Got code you'd like someone to review? Please join us.

Post History

71%
+3 −0
Q&A How can I get the same "not all control paths return a value" behaviour across Clang and MSVC?

I've recently discovered that it's not actually an error to have control reach the end of a non-void function without returning anything, it's merely undefined behaviour. I want to promote the rele...

2 answers  ·  posted 1mo ago by Hyperlynx‭  ·  last activity 10d ago by celtschk‭

Question c++ clang msvc
#1: Initial revision by user avatar Hyperlynx‭ · 2024-09-10T00:21:55Z (about 1 month ago)
How can I get the same "not all control paths return a value" behaviour across Clang and MSVC?
I've recently discovered that it's not actually an error to have control reach the end of a non-void function without returning anything, it's merely undefined behaviour. I want to promote the relevant warning(s) to error.

Our product that's built on multiple platforms, using Clang on one and Microsoft Visual Studio on the other. So far, I've tried using `-Werror=return-type` for Clang and `/we4183 /we4715` for MSVC. However, there's a problem.

The following code produces no warnings at all in Clang with `-Wall -W`, but for MSVC triggers 4715, "not all control paths return a value":

```
enum class Letter
{
    A,
    B,
    C,
    END
};

int toNum(Letter letter)
{
    switch (letter)
    {
    case Letter::A:
        return 0;
    case Letter::B:
        return 1;
    case Letter::C:
        return 2;
    case Letter::END:
        return -1;
    }
}
```

It seems Clang determines that all the enum cases are handled and that control will never reach the end of the function, while MSVC does not.

Is there any way around this? It would be really, really handy to have an error triggered when someone does forget a return value, but we also can't have builds fail when our mostly Clang developers put in code that MSVC will object to.

The next-best solution would be to promote the warnings to error for Clang only, but ideally I'd like to catch any problems like this when working on Windows too...