Zrjydtj

How come Sam didn't become Lord of Horn Hill?

Why aren't air breathing engines used as small first stages?

Effects on objects due to a brief relocation of massive amounts of mass

What is the effect of altitude on true airspeed?

How to write this math term? with cases it isn't working

Why do we bend a book to keep it straight?

How do I make this wiring inside cabinet safer?

Are all finite dimensional hilbert spaces isomorphic to spaces with Euclidean norms?

What's the meaning of "fortified infraction restraint"?

The code below, is it ill-formed NDR or is it well formed?

Can a new player join a group only when a new campaign starts?

What are the out-of-universe reasons for the references to Toby Maguire-era Spider-Man in Into the Spider-Verse?

Drawing without replacement: why the order of draw is irrelevant?

What do you call the main part of a joke?

Does the Weapon Master feat grant you a fighting style?

Source for Esri sample data from 911 Hot Spot Analysis

Hangman Game with C++

How do I use the new nonlinear finite element in Mathematica 12 for this equation?

Why is it faster to reheat something than it is to cook it?

AppleTVs create a chatty alternate WiFi network

What does it mean that physics no longer uses mechanical models to describe phenomena?

Do I really need to have a message in a novel to appeal to readers?

How were pictures turned from film to a big picture in a picture frame before digital scanning?

Find 108 by using 3,4,6

The code below, is it ill-formed NDR or is it well formed?

.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty height:90px;width:728px;box-sizing:border-box;

13

1

Clang accepts the following code, but gcc rejects it.

void h() 

constexpr int f() 
 return 1;
 h();


int main() 
 constexpr int i = f();

Here is the error message:

g++ -std=c++17 -O2 -Wall -pedantic -pthread main.cpp && ./a.out
main.cpp: In function 'constexpr int f()':
main.cpp:5:6: error: call to non-'constexpr' function 'void h()'
 h();
 ~^~
main.cpp: In function 'int main()':
main.cpp:9:24: error: 'constexpr int f()' called in a constant expression
 constexpr int i = f();
 ~^~
main.cpp:9:19: warning: unused variable 'i' [-Wunused-variable]
 constexpr int i = f();

This could well be the case where both compilers are correct, once we consider [dcl.constexpr]/5, given that f() is not a constant expression, as it doesn't satisfy [expr.const]/(4.2), as it calls a non-constexpr function h. That is, the code is ill-formed, but no diagnostic is required.

One other possibility is that the code is well formed, as [expr.const]/(4.2) doesn't apply in this case because the call to h in f is not evaluated. If this is the case, gcc is wrong and clang is correct.

c++ language-lawyer c++17 constexpr

share|improve this question

edited 51 mins ago

Barry

187k21331612

asked 1 hour ago

AlexanderAlexander

895414

• 
  
  
  

  
  3
  

  
  
  
  
  
  

  
  
  Clang does not allow calling h() before returning, so the real question here is: Is a compiler allowed to ignore dead ill-formed code?
  
  – idmean
  1 hour ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  "as it calls a non-constexpr function h". But it doesn't actually call h. I'd say that gcc is wrong here.
  
  – geza
  1 hour ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  I'm adding the C++14 tag since on C++11 there's no question that it's ill-formed.
  
  – Barry
  52 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  This code works in GCC's trunk.. godbolt.org/z/f04MCq and godbolt.org/z/bAyE8a .. So it's already fixed.. Free upvotes. If compiled with GCC 8.3 it will fail but compile with Trunk and it works fine.
  
  – Brandon
  49 mins ago
  
  

  
  
  
  

add a comment | 

13

1

Clang accepts the following code, but gcc rejects it.

void h() 

constexpr int f() 
 return 1;
 h();


int main() 
 constexpr int i = f();

Here is the error message:

g++ -std=c++17 -O2 -Wall -pedantic -pthread main.cpp && ./a.out
main.cpp: In function 'constexpr int f()':
main.cpp:5:6: error: call to non-'constexpr' function 'void h()'
 h();
 ~^~
main.cpp: In function 'int main()':
main.cpp:9:24: error: 'constexpr int f()' called in a constant expression
 constexpr int i = f();
 ~^~
main.cpp:9:19: warning: unused variable 'i' [-Wunused-variable]
 constexpr int i = f();

This could well be the case where both compilers are correct, once we consider [dcl.constexpr]/5, given that f() is not a constant expression, as it doesn't satisfy [expr.const]/(4.2), as it calls a non-constexpr function h. That is, the code is ill-formed, but no diagnostic is required.

One other possibility is that the code is well formed, as [expr.const]/(4.2) doesn't apply in this case because the call to h in f is not evaluated. If this is the case, gcc is wrong and clang is correct.

c++ language-lawyer c++17 constexpr

share|improve this question

edited 51 mins ago

Barry

187k21331612

asked 1 hour ago

AlexanderAlexander

895414

• 
  
  
  

  
  3
  

  
  
  
  
  
  

  
  
  Clang does not allow calling h() before returning, so the real question here is: Is a compiler allowed to ignore dead ill-formed code?
  
  – idmean
  1 hour ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  "as it calls a non-constexpr function h". But it doesn't actually call h. I'd say that gcc is wrong here.
  
  – geza
  1 hour ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  I'm adding the C++14 tag since on C++11 there's no question that it's ill-formed.
  
  – Barry
  52 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  This code works in GCC's trunk.. godbolt.org/z/f04MCq and godbolt.org/z/bAyE8a .. So it's already fixed.. Free upvotes. If compiled with GCC 8.3 it will fail but compile with Trunk and it works fine.
  
  – Brandon
  49 mins ago
  
  

  
  
  
  

add a comment | 

Clang accepts the following code, but gcc rejects it.

void h() 

constexpr int f() 
 return 1;
 h();


int main() 
 constexpr int i = f();

Here is the error message:

g++ -std=c++17 -O2 -Wall -pedantic -pthread main.cpp && ./a.out
main.cpp: In function 'constexpr int f()':
main.cpp:5:6: error: call to non-'constexpr' function 'void h()'
 h();
 ~^~
main.cpp: In function 'int main()':
main.cpp:9:24: error: 'constexpr int f()' called in a constant expression
 constexpr int i = f();
 ~^~
main.cpp:9:19: warning: unused variable 'i' [-Wunused-variable]
 constexpr int i = f();

This could well be the case where both compilers are correct, once we consider [dcl.constexpr]/5, given that f() is not a constant expression, as it doesn't satisfy [expr.const]/(4.2), as it calls a non-constexpr function h. That is, the code is ill-formed, but no diagnostic is required.

One other possibility is that the code is well formed, as [expr.const]/(4.2) doesn't apply in this case because the call to h in f is not evaluated. If this is the case, gcc is wrong and clang is correct.

c++ language-lawyer c++17 constexpr

share|improve this question

edited 51 mins ago

Barry

187k21331612

asked 1 hour ago

AlexanderAlexander

895414

void h() 

constexpr int f() 
 return 1;
 h();


int main() 
 constexpr int i = f();

g++ -std=c++17 -O2 -Wall -pedantic -pthread main.cpp && ./a.out
main.cpp: In function 'constexpr int f()':
main.cpp:5:6: error: call to non-'constexpr' function 'void h()'
 h();
 ~^~
main.cpp: In function 'int main()':
main.cpp:9:24: error: 'constexpr int f()' called in a constant expression
 constexpr int i = f();
 ~^~
main.cpp:9:19: warning: unused variable 'i' [-Wunused-variable]
 constexpr int i = f();

share|improve this question

edited 51 mins ago

Barry

187k21331612

asked 1 hour ago

AlexanderAlexander

895414

share|improve this question

edited 51 mins ago

Barry

187k21331612

asked 1 hour ago

AlexanderAlexander

895414

edited 51 mins ago

Barry

187k21331612

edited 51 mins ago

Barry

187k21331612

asked 1 hour ago

AlexanderAlexander

895414

asked 1 hour ago

AlexanderAlexander

895414

1 Answer
1

active

oldest

votes

12

Clang is correct. A call to f() is a constant expression since the call to h() is never evaluated, so [dcl.constexpr]/5 doesn't apply. The call to h() in the body of f() is not ill-formed because the constraints on constexpr functions don't say anything about not being allowed to call non-constexpr functions. Indeed, a function like the following is well-formed because a call to it can be a constant expression when x is odd:

constexpr int g(int x) 
 if (x%2 == 0) h();
 return 0;

share|improve this answer

answered 1 hour ago

BrianBrian

67k799192

add a comment | 

Your Answer

StackExchange.ifUsing("editor", function ()
StackExchange.using("externalEditor", function ()
StackExchange.using("snippets", function ()
StackExchange.snippets.init();
);
);
, "code-snippets");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "1"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f55752281%2fthe-code-below-is-it-ill-formed-ndr-or-is-it-well-formed%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

12

Clang is correct. A call to f() is a constant expression since the call to h() is never evaluated, so [dcl.constexpr]/5 doesn't apply. The call to h() in the body of f() is not ill-formed because the constraints on constexpr functions don't say anything about not being allowed to call non-constexpr functions. Indeed, a function like the following is well-formed because a call to it can be a constant expression when x is odd:

constexpr int g(int x) 
 if (x%2 == 0) h();
 return 0;

share|improve this answer

answered 1 hour ago

BrianBrian

67k799192

add a comment | 

12

Clang is correct. A call to f() is a constant expression since the call to h() is never evaluated, so [dcl.constexpr]/5 doesn't apply. The call to h() in the body of f() is not ill-formed because the constraints on constexpr functions don't say anything about not being allowed to call non-constexpr functions. Indeed, a function like the following is well-formed because a call to it can be a constant expression when x is odd:

constexpr int g(int x) 
 if (x%2 == 0) h();
 return 0;

share|improve this answer

answered 1 hour ago

BrianBrian

67k799192

add a comment | 

Clang is correct. A call to f() is a constant expression since the call to h() is never evaluated, so [dcl.constexpr]/5 doesn't apply. The call to h() in the body of f() is not ill-formed because the constraints on constexpr functions don't say anything about not being allowed to call non-constexpr functions. Indeed, a function like the following is well-formed because a call to it can be a constant expression when x is odd:

constexpr int g(int x) 
 if (x%2 == 0) h();
 return 0;

share|improve this answer

answered 1 hour ago

BrianBrian

67k799192

constexpr int g(int x) 
 if (x%2 == 0) h();
 return 0;

share|improve this answer

answered 1 hour ago

BrianBrian

67k799192

answered 1 hour ago

BrianBrian

67k799192

answered 1 hour ago

BrianBrian

67k799192