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

86%
+11 −0
Q&A What is undefined behavior and how does it work?

I have created this sensational program: #include <stdio.h> int* func (void) { int local=5; return &local; } int main (void) { printf("%d\n", *func()); } This prints 5 even thoug...

1 answer  ·  posted 4y ago by Lundin‭  ·  last activity 4y ago by Lundin‭

#1: Initial revision by user avatar Lundin‭ · 2020-08-25T06:34:53Z (about 4 years ago)
What is undefined behavior and how does it work?
I have created this sensational program:


    #include <stdio.h>
    
    int* func (void)
    {
      int local=5;
      return &local;
    }

    int main (void)
    {
      printf("%d\n", *func());
    }

This prints `5` even though I'm returning a pointer to a local variable. It did not produce an error!

And then I made another sensational program:

    int main (void)
    {
      int arr[5] = {1,2,3,4,5};
      for(int i=0; i<10; i++)
      {
        printf("%d ", arr[i]);
      }
    }

It did not produce an error! But it prints 1 2 3 4 5 and then some other stuff.

I was told that these cases where examples of "undefined behavior" and that we aren't allowed to write code like that. 

But it works! The compiler did not protest, the OS didn't give me a "segmentation fault" and nothing bad happened. Isn't some sort of error supposed to happen when we do things like these? 

What is this "undefined behavior" and who is responsible for taking care of it?