public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/115583] New: Call to consteval function in `if consteval` immediate function context rejected at -O1
@ 2024-06-21 16:41 mital at mitalashok dot co.uk
  2024-06-21 16:47 ` [Bug c++/115583] C++23: " pinskia at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: mital at mitalashok dot co.uk @ 2024-06-21 16:41 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 115583
           Summary: Call to consteval function in `if consteval` immediate
                    function context rejected at -O1
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mital at mitalashok dot co.uk
  Target Milestone: ---

Reduced from https://stackoverflow.com/q/78652860

This valid code:

```
consteval int f(int i) {
  return i;
}
constexpr int g(int i) {
  if consteval {
    return f(i);
  } else {
    return i;
  }
}
int main() {
  return g(1);
}
```

Compiles at -O0, but is rejected at -O1: https://godbolt.org/z/bP9rEsqc8

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug c++/115583] C++23: Call to consteval function in `if consteval` immediate function context rejected at -O1
  2024-06-21 16:41 [Bug c++/115583] New: Call to consteval function in `if consteval` immediate function context rejected at -O1 mital at mitalashok dot co.uk
@ 2024-06-21 16:47 ` pinskia at gcc dot gnu.org
  2024-06-21 20:32 ` [Bug c++/115583] [14/15 Regression] C++23: Call to consteval function in `if consteval` immediate function context rejected at -O1 since r14-4140 ppalka at gcc dot gnu.org
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu.org @ 2024-06-21 16:47 UTC (permalink / raw)
  To: gcc-bugs

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2024-06-21
     Ever confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug c++/115583] [14/15 Regression] C++23: Call to consteval function in `if consteval` immediate function context rejected at -O1 since r14-4140
  2024-06-21 16:41 [Bug c++/115583] New: Call to consteval function in `if consteval` immediate function context rejected at -O1 mital at mitalashok dot co.uk
  2024-06-21 16:47 ` [Bug c++/115583] C++23: " pinskia at gcc dot gnu.org
@ 2024-06-21 20:32 ` ppalka at gcc dot gnu.org
  2024-06-21 20:36 ` pinskia at gcc dot gnu.org
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: ppalka at gcc dot gnu.org @ 2024-06-21 20:32 UTC (permalink / raw)
  To: gcc-bugs

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |14.1.0, 15.0
      Known to work|                            |13.3.0
                 CC|                            |mpolacek at gcc dot gnu.org,
                   |                            |ppalka at gcc dot gnu.org
   Target Milestone|---                         |14.2
            Summary|C++23: Call to consteval    |[14/15 Regression] C++23:
                   |function in `if consteval`  |Call to consteval function
                   |immediate function context  |in `if consteval` immediate
                   |rejected at -O1             |function context rejected
                   |                            |at -O1 since r14-4140

--- Comment #2 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Started with r14-4140

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug c++/115583] [14/15 Regression] C++23: Call to consteval function in `if consteval` immediate function context rejected at -O1 since r14-4140
  2024-06-21 16:41 [Bug c++/115583] New: Call to consteval function in `if consteval` immediate function context rejected at -O1 mital at mitalashok dot co.uk
  2024-06-21 16:47 ` [Bug c++/115583] C++23: " pinskia at gcc dot gnu.org
  2024-06-21 20:32 ` [Bug c++/115583] [14/15 Regression] C++23: Call to consteval function in `if consteval` immediate function context rejected at -O1 since r14-4140 ppalka at gcc dot gnu.org
@ 2024-06-21 20:36 ` pinskia at gcc dot gnu.org
  2024-06-24 17:03 ` mpolacek at gcc dot gnu.org
  2024-06-27 21:13 ` mpolacek at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu.org @ 2024-06-21 20:36 UTC (permalink / raw)
  To: gcc-bugs

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=110997

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Looks related to PR 110997 (and what was done in r14-6129-g1f1c432226cf3db) .

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug c++/115583] [14/15 Regression] C++23: Call to consteval function in `if consteval` immediate function context rejected at -O1 since r14-4140
  2024-06-21 16:41 [Bug c++/115583] New: Call to consteval function in `if consteval` immediate function context rejected at -O1 mital at mitalashok dot co.uk
                   ` (2 preceding siblings ...)
  2024-06-21 20:36 ` pinskia at gcc dot gnu.org
@ 2024-06-24 17:03 ` mpolacek at gcc dot gnu.org
  2024-06-27 21:13 ` mpolacek at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2024-06-24 17:03 UTC (permalink / raw)
  To: gcc-bugs

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug c++/115583] [14/15 Regression] C++23: Call to consteval function in `if consteval` immediate function context rejected at -O1 since r14-4140
  2024-06-21 16:41 [Bug c++/115583] New: Call to consteval function in `if consteval` immediate function context rejected at -O1 mital at mitalashok dot co.uk
                   ` (3 preceding siblings ...)
  2024-06-24 17:03 ` mpolacek at gcc dot gnu.org
@ 2024-06-27 21:13 ` mpolacek at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2024-06-27 21:13 UTC (permalink / raw)
  To: gcc-bugs

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2024-06-27 21:13 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-06-21 16:41 [Bug c++/115583] New: Call to consteval function in `if consteval` immediate function context rejected at -O1 mital at mitalashok dot co.uk
2024-06-21 16:47 ` [Bug c++/115583] C++23: " pinskia at gcc dot gnu.org
2024-06-21 20:32 ` [Bug c++/115583] [14/15 Regression] C++23: Call to consteval function in `if consteval` immediate function context rejected at -O1 since r14-4140 ppalka at gcc dot gnu.org
2024-06-21 20:36 ` pinskia at gcc dot gnu.org
2024-06-24 17:03 ` mpolacek at gcc dot gnu.org
2024-06-27 21:13 ` mpolacek at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).