How undefined is undefined behavior?

by

I’d say that the behavior is undefined only if the users inserts any number different from 0. After all, if the offending code section is not actually run the conditions for UB aren’t met (i.e. the non-initialized pointer is not created neither dereferenced).

A hint of this can be found into the standard, at 3.4.3:

behavior, upon use of a nonportable or erroneous program construct or of erroneous data,
for which this International Standard imposes no requirements

This seems to imply that, if such “erroneous data” was instead correct, the behavior would be perfectly defined – which seems pretty much applicable to our case.

Additional example: integer overflow. Any program that does an addition with user-provided data without doing extensive check on it is subject to this kind of undefined behavior – but an addition is UB only when the user provides such particular data.

More Related Contents:

  1. When is it valid to access a pointer to a “dead” object?
  2. Is it Undefined Behaviour to cast away the constness of a function parameter?
  3. C – is an indeterminate value indeterminable?
  4. Accessing inactive union member and undefined behavior?
  5. Has C++ standard changed with respect to the use of indeterminate values and undefined behavior in C++14?
  6. Does initialization entail lvalue-to-rvalue conversion? Is `int x = x;` UB?
  7. Can we change the value of an object defined with const through pointers?
  8. Do I need to cast to unsigned char before calling toupper(), tolower(), et al.?
  9. Are there any non-twos-complement implementations of C?
  10. Why does left shift operation invoke Undefined Behaviour when the left side operand has negative value?
  11. When is casting between pointer types not undefined behavior in C?
  12. Does &((struct name *)NULL -> b) cause undefined behaviour in C11?
  13. Is argv[n] writable?
  14. Does not evaluating the expression to which sizeof is applied make it legal to dereference a null or invalid pointer inside sizeof in C++?
  15. In C++11, does `i += ++i + 1` exhibit undefined behavior?
  16. What is Undefined Behaviour in C? [duplicate]
  17. Unspecified, undefined and implementation defined behavior WIKI for C
  18. Why “initializer element is not a constant” is… not working anymore?
  19. Are pointer variables just integers with some operators or are they “symbolic”?
  20. Is this undefined C behaviour?
  21. The behaviour of floating point division by zero
  22. Is int main() { } (without “void”) valid and portable in ISO C?
  23. Can branches with undefined behavior be assumed unreachable and optimized as dead code?
  24. Is while(1); undefined behavior in C?
  25. Order of evaluation of arguments in function calling?
  26. C code with undefined results, compiler generates invalid code (with -O3)
  27. printf() with no arguments in C compiles fine. how?
  28. Returning struct containing array
  29. Turbo C++: Why does printf print expected values, when no variables are passed to it?
  30. Is scanf(“%d%d”, &x, &x) well defined?

Leave a Comment