diff options
| author | gingerBill <bill@gingerbill.org> | 2022-02-28 13:39:27 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2022-02-28 13:40:01 +0000 |
| commit | 278e239973ab1e680bd36f90c069ec798930e54b (patch) | |
| tree | 2e3c1da08fd432fdae46f6ee772f9acf043002ca /src/check_type.cpp | |
| parent | 01162e08b55406578a2972d74c472de8a14f12b8 (diff) | |
Commit rest of code for `-disallow-rtti`
Diffstat (limited to 'src/check_type.cpp')
| -rw-r--r-- | src/check_type.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/check_type.cpp b/src/check_type.cpp index c2324ee5a..ff2c3d6a6 100644 --- a/src/check_type.cpp +++ b/src/check_type.cpp @@ -3031,5 +3031,7 @@ Type *check_type_expr(CheckerContext *ctx, Ast *e, Type *named_type) { } set_base_type(named_type, type); + check_rtti_type_disallowed(e, type, "Use of a type, %s, which has been disallowed"); + return type; } |