Search code examples
C++11 introduced a standardized memory model. What does it mean? And how is it going to affect C++ p...


c++multithreadingc++11language-lawyermemory-model

Read More
What is impl Trait + 'lifetime?...


rustlanguage-lawyertraitslifetimestatic-dispatch

Read More
Confusion about the definition of "explicitly initialized element" in aggregate initializa...


c++language-lawyeraggregate-initialization

Read More
Is the postfix expression `f` sequenced before the function call expression `f()`?...


c++language-lawyer

Read More
Does a temporary task used as a co_await operand survive until await_resume?...


c++language-lawyerc++20coroutine

Read More
Shall macro definition of an identifier that appears within the list of parameter declarations in a ...


clanguage-lawyeridentifier

Read More
When is reinterpret_cast UB?...


c++language-lawyerc++20undefined-behaviorreinterpret-cast

Read More
Clang rejects constexpr construction through inherited CRTP constructors that GCC accepts...


c++clanglanguage-lawyercrtp

Read More
Why no "provisional" declarations of static objects?...


c++cstaticlanguage-lawyerforward-declaration

Read More
Is std::atomic<bool> trivially copyable?...


c++language-lawyeratomicstdatomictrivially-copyable

Read More
Does the the 2+2W litmus test code in the 'Repairing Sequential Consistency' paper have a pr...


cmultithreadinglanguage-lawyeratomicc11

Read More
`noexcept` behavior of `constexpr` functions...


c++c++17language-lawyerconstexprnoexcept

Read More
Is it legal for the compiler to degrade the time complexity of a program? Is this considered observa...


c++ctime-complexitylanguage-lawyer

Read More
Does P3505R4 require 1e-4f to be formatted as "1e-4" while 1e-4 to be formatted as "0...


c++floating-pointlanguage-lawyerfloating-point-conversionc++29

Read More
For restrict pointer `p`, the definition of Based-On Implies that given `int* n = p`, `&*n` is n...


clanguage-lawyerlvaluerestrict-qualifier

Read More
Why does cppcheck's MISRA scan complain about incrementing a structure member of a volatile poin...


clanguage-lawyermisracppcheck

Read More
How do I portably define an exactly 32-bit unsigned integer literal?...


cintegerlanguage-lawyerliterals

Read More
Why does MISRA use this idea of "essential types" for integer constants, when the C standa...


clanguage-lawyermisra

Read More
Can the default `window.top` ever be invalid as a reference?...


javascripthttp-redirectwindowlanguage-lawyer

Read More
Is there a useful case using a switch statement without braces?...


clanguage-lawyer

Read More
Object contiguity: consequence on in place construction...


c++language-lawyerc++20placement-newcontiguous

Read More
Is a conforming implementation permitted to transform this example to eliminate the load operation?...


c++language-lawyeratomic

Read More
Does standard allow a comparison of pointers to extern const variables of incomplete type in compile...


c++language-lawyerc++20constexpr

Read More
If the reflection operator is applied to a conversion-function-id that corresponds to a conversion f...


c++reflectionlanguage-lawyerc++26

Read More
How am I misreading the HyperSpec specification of documentation strings?...


language-lawyercommon-lisp

Read More
Can I safely cast unsigned char to char?...


clanguage-lawyer

Read More
misunderstanding of pointer-interconvertible definition in the standard...


c++pointerstype-conversionlanguage-lawyer

Read More
How to achieve a StoreLoad barrier in C++11?...


c++language-lawyeratomicmemory-barriersstdatomic

Read More
Сomma-separated sequence of declarators in C89...


clanguage-lawyerc89

Read More
Is this proof by contradiction a correct way to formally prove the behavior of this simple program w...


c++language-lawyeratomicstdatomicproof-of-correctness

Read More
BackNext