return true;
}
+template <class Emitter>
+bool ByteCodeExprGen<Emitter>::VisitStringLiteral(const StringLiteral *E) {
+ unsigned StringIndex = P.createGlobalString(E);
+ return this->emitGetPtrGlobal(StringIndex, E);
+}
+
+template <class Emitter>
+bool ByteCodeExprGen<Emitter>::VisitCharacterLiteral(
+ const CharacterLiteral *E) {
+ return this->emitConst(E, E->getValue());
+}
+
template <class Emitter> bool ByteCodeExprGen<Emitter>::discard(const Expr *E) {
OptionScope<Emitter> Scope(this, /*NewDiscardResult=*/true);
return this->Visit(E);
bool VisitArrayInitIndexExpr(const ArrayInitIndexExpr *E);
bool VisitOpaqueValueExpr(const OpaqueValueExpr *E);
bool VisitAbstractConditionalOperator(const AbstractConditionalOperator *E);
+ bool VisitStringLiteral(const StringLiteral *E);
+ bool VisitCharacterLiteral(const CharacterLiteral *E);
protected:
bool visitExpr(const Expr *E) override;
/// Emits an integer constant.
template <typename T> bool emitConst(const Expr *E, T Value) {
QualType Ty = E->getType();
- APInt WrappedValue(getIntWidth(Ty), Value, std::is_signed<T>::value);
+ APInt WrappedValue(getIntWidth(Ty), static_cast<uint64_t>(Value),
+ std::is_signed<T>::value);
return emitConst(*Ctx.classify(Ty), WrappedValue, E);
}
static_assert((0 | gimme(12)) == 12, "");
static_assert((12 | true) == 13, "");
};
+
+namespace strings {
+ constexpr const char *S = "abc";
+ static_assert(S[0] == 97, "");
+ static_assert(S[1] == 98, "");
+ static_assert(S[2] == 99, "");
+ static_assert(S[3] == 0, "");
+
+ static_assert("foobar"[2] == 'o', "");
+ static_assert(2["foobar"] == 'o', "");
+
+ constexpr const wchar_t *wide = L"bar";
+ static_assert(wide[0] == L'b', "");
+
+ constexpr const char32_t *u32 = U"abc";
+ static_assert(u32[1] == U'b', "");
+
+ constexpr char32_t c = U'\U0001F60E';
+ static_assert(c == 0x0001F60EL, "");
+
+ constexpr char k = -1;
+ static_assert(k == -1, "");
+
+ static_assert('\N{LATIN CAPITAL LETTER E}' == 'E', "");
+ static_assert('\t' == 9, "");
+
+#pragma clang diagnostic push
+#pragma clang diagnostic ignored "-Wmultichar"
+ constexpr int mc = 'abc';
+ static_assert(mc == 'abc', "");
+ __WCHAR_TYPE__ wm = L'abc'; // ref-error{{wide character literals may not contain multiple characters}} \
+ // expected-error{{wide character literals may not contain multiple characters}}
+ __WCHAR_TYPE__ wu = u'abc'; // ref-error{{Unicode character literals may not contain multiple characters}} \
+ // expected-error{{Unicode character literals may not contain multiple characters}}
+ __WCHAR_TYPE__ wU = U'abc'; // ref-error{{Unicode character literals may not contain multiple characters}} \
+ // expected-error{{Unicode character literals may not contain multiple characters}}
+#if __cplusplus > 201103L
+ __WCHAR_TYPE__ wu8 = u8'abc'; // ref-error{{Unicode character literals may not contain multiple characters}} \
+ // expected-error{{Unicode character literals may not contain multiple characters}}
+#endif
+
+#pragma clang diagnostic pop
+};