[clang][bytecode] Fix dummy handling for p2280r4 (#124396)

This makes some other problems show up like the fact that we didn't
suppress diagnostics during __builtin_constant_p evaluation.

[clang][bytecode] Use std::allocator calls for Descriptor source (#123900)

... for the dynamic blocks created for operator new calls. This way we
get the type of memory allocated right. As a side-ef

[clang][bytecode] Use std::allocator calls for Descriptor source (#123900)

... for the dynamic blocks created for operator new calls. This way we
get the type of memory allocated right. As a side-effect, the
diagnostics now point to the std::allocator calls, which is an
improvement.

show more ...

[clang][bytecode] Fix reporting failed local constexpr initializers (#123588)

We need to emit the 'initializer of X is not a constant expression' note
for local constexpr variables as well.

[clang][bytecode] Fix diagnostic mismatch with current interpreter (#123571)

Don't report dead pointers if we've checking for a potential constant
expression.

[clang][bytecode] Add support for typeid pointers (#121251)

Add it as another kind of pointer, saving both a `Type*` for the result
of the typeid() expression as well as one for the type of the type

[clang][bytecode] Add support for typeid pointers (#121251)

Add it as another kind of pointer, saving both a `Type*` for the result
of the typeid() expression as well as one for the type of the typeid
expression.

show more ...

[clang][bytecode] Allow checking builtin functions... (#119328)

... in checkingPotentialConstantExpression mode. This is what the
current interpreter does, yet it doesn't do so for
`__builtin_operat

[clang][bytecode] Allow checking builtin functions... (#119328)

... in checkingPotentialConstantExpression mode. This is what the
current interpreter does, yet it doesn't do so for
`__builtin_operator_new`.

show more ...

[clang][bytecode][NFC] Remove APValue Result argument where unnecessary (#118199)

This is unneeded in almost all circumstances. We only return an APValue
back to clang when the evaluation is finishe

[clang][bytecode][NFC] Remove APValue Result argument where unnecessary (#118199)

This is unneeded in almost all circumstances. We only return an APValue
back to clang when the evaluation is finished, and that is always done
by an EvalEmitter - which has its own implementation of the Ret
instructions.

show more ...

[clang][bytecode][NFC] Avoid a getSource() call (#117311)

This is only needed when we actually emit a diagnostic, so move the
getSource() after the early return.

[clang][bytecode] Add assert to ensure correct state restoration in CallBI function (#115496)

This commit adds an assert statement to the CallBI function to ensure
that the interpreter state (S.Cur

[clang][bytecode] Add assert to ensure correct state restoration in CallBI function (#115496)

This commit adds an assert statement to the CallBI function to ensure
that the interpreter state (S.Current) is correctly reset to the
previous frame (FrameBefore) after InterpretBuiltin returns true. This
helps catch any potential issues during development and debugging.

show more ...

Adjust MSVC disabled optimization pragmas to be _MSC_VER only (#116704)

Alter the #ifdef values from #110986 and #115292 to use _MSC_VER instead of _WIN32 to stop the pragmas being used on gcc/mingw

Adjust MSVC disabled optimization pragmas to be _MSC_VER only (#116704)

Alter the #ifdef values from #110986 and #115292 to use _MSC_VER instead of _WIN32 to stop the pragmas being used on gcc/mingw builds

Noticed by @mstorsjo

show more ...

[AST] Remove unused includes (NFC) (#116549)

Identified with misc-include-cleaner.

[clang][bytecode] Start implementing __builtin_bit_cast (#112126)

This is a subset of #68288, with hopefully narrower scope. It does not
support bitcasting to non-integral types yet.
Bitfields are

[clang][bytecode] Start implementing __builtin_bit_cast (#112126)

This is a subset of #68288, with hopefully narrower scope. It does not
support bitcasting to non-integral types yet.
Bitfields are supported, but only if they result in a full byte-sized
final buffer. It does not support casting from null-pointers yet or
casting from indeterminate bits.


The tests are from #68288 and partially from #74775.

The `BitcastBuffer` struct is currently always working in single bits,
but I plan to (try to) optimize this for the common full-byte case.

show more ...

[clang][bytecode] Diagnose delete with non-virtual dtor (#114373)

... in the base class.

[clang][bytecode] Diagnose placement-new construction to inactive field (#114047)

We can reuse CheckActive() for this.

[clang][bytecode][NFC] Make CheckVolatile static (#113785)

[clang][bytecode][NFC] Only do CheckConstant checks for global pointers (#113786)

We can check isStatic() early here and save ourselves some work.

[clang][bytecode] Diagnose non-const initialiers in diagnoseUnknownDecl (#113276)

This is more similar to the diagnostic output of the current interpreter

[clang][bytecode][NFC] Remove a leftover dump call

[clang][bytecode] Diagnose reference to non-constexpr variable of const type in C23 constexpr (#112211)

```cpp
const int V33 = 4;
const int V34 = 0;
const int V35 = 2;

constexpr int V36 = V33

[clang][bytecode] Diagnose reference to non-constexpr variable of const type in C23 constexpr (#112211)

```cpp
const int V33 = 4;
const int V34 = 0;
const int V35 = 2;

constexpr int V36 = V33 / V34;
// expected-error@-1 {{constexpr variable 'V36' must be initialized by a constant expression}}
constexpr int V37 = V33 / V35;
// expected-error@-1 {{constexpr variable 'V37' must be initialized by a constant expression}}
```

---------

Signed-off-by: yronglin <yronglin777@gmail.com>

show more ...

[clang][bytecode] Diagnose class-specific operator delete calls (#111700)

[clang][bytecode] Only allow lossless ptr-to-int casts (#111669)

Only allow those casts if the bitwidth of the two types match.

[clang][bytecode] Emit better diagnostic for invalid shufflevector index (#111643)

[MSVC] work-around for compile time issue 102513 (#110986)

Disable optimizations when building clang/lib/AST/ByteCode/Interp.cpp
with Microsoft's compiler as it has a bug that causes excessive buil

[MSVC] work-around for compile time issue 102513 (#110986)

Disable optimizations when building clang/lib/AST/ByteCode/Interp.cpp
with Microsoft's compiler as it has a bug that causes excessive build
times. We do this only when NDEBUG is not defined on the assumption that
building without asserts indicates that a user is strongly invested in
runtime performance.

Partially addresses: https://github.com/llvm/llvm-project/issues/102513.

Once the bug is addressed in the Microsoft compiler this can be removed.

Co-authored-by: dyung

show more ...

[clang][bytecode] Implement fixed-point-to-int casts (#110417)

And some cleanups around overflow handling.

[clang][bytecode] Don't produce a null type when checking new exprs (#110252)

getType() might give us the right type already, so use that instead of
calling getPointeeType() for all CXXNewExprs.