Changeset 831aa466 in mainline for uspace/lib/c/generic/ubsan.c

Timestamp:

2018-06-26T23:16:12Z (7 years ago)

Author:

Jiří Zárevúcky <jiri.zarevucky@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

2fc9bfd

Parents:

70fae4e

git-author:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-06-26 23:06:11)

git-committer:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-06-26 23:16:12)

Message:

Fix cases of undefined behavior found by ubsan.

File:

• uspace/lib/c/generic/ubsan.c (modified) (4 diffs)

uspace/lib/c/generic/ubsan.c

@@ -98 +98 @@
 #endif
 void __ubsan_handle_nonnull_return(struct nonnull_return_data *data);
+void __ubsan_handle_builtin_unreachable(struct unreachable_data *data);
 
 static void print_loc(const char *func, struct source_location *loc)
@@ -107 +108 @@
                 f += sizeof(func_prefix);
 
-        PRINTF("Undefined behavior %s at %s:%" PRIu32 " col %" PRIu32 "\n",
+        PRINTF("####### Undefined behavior %s at %s:%" PRIu32 " col %" PRIu32 "\n",
             f, loc->file_name, loc->line, loc->column);
 }
@@ -115 +116 @@
 {
         print_loc(__func__, &data->loc);
+        PRINTF("Type: %s, alignment: %lu, type_check_kind: %hhu\n",
+            data->type->type_name, data->alignment, data->type_check_kind);
         ubsan_panic();
 }
@@ -219 +222 @@
         ubsan_panic();
 }
+
+void __ubsan_handle_builtin_unreachable(struct unreachable_data *data)
+{
+        print_loc(__func__, &data->loc);
+        ubsan_panic();
+}
+