Changes in integer-arithmetic-value-change.c

04ea772d - [ubsan][test] Fix several UBSan-* :: TestCases/ImplicitConversion tests on Solaris

Mon, 08 Jul 2019 09:22:05 +0000

[ubsan][test] Fix several UBSan-* :: TestCases/ImplicitConversion tests on SolarisA couple of UBSan-* :: TestCases/ImplicitConversion testcases FAIL on Solaris/x86(and Solaris/SPARC with https://reviews.llvm.org/D40900): FAIL: UBSan-AddressSanitizer-i386 :: TestCases/ImplicitConversion/signed-integer-truncation-or-sign-change-blacklist.c (49187 of 49849) ******************** TEST 'UBSan-AddressSanitizer-i386 :: TestCases/ImplicitConversion/signed-integer-truncation-or-sign-change-blacklist.c' FAILED ******************** [...] Command Output (stderr): -- /vol/llvm/src/compiler-rt/local/test/ubsan/TestCases/ImplicitConversion/signed-integer-truncation-or-sign-change-blacklist.c:53:11: error: CHECK: expected string not found in input // CHECK: {{.*}}signed-integer-truncation-or-sign-change-blacklist.c:[[@LINE-1]]:10: runtime error: implicit conversion from type '{{.*}}' (aka 'unsigned int') of value 4294967295 (32-bit, unsigned) to type '{{.*}}' (aka 'signed char') changed the value to -1 (8-bit, signed) ^ :1:1: note: scanning from here /vol/llvm/src/compiler-rt/local/test/ubsan/TestCases/ImplicitConversion/signed-integer-truncation-or-sign-change-blacklist.c:52:10: runtime error: implicit conversion from type 'uint32_t' (aka 'unsigned int') of value 4294967295 (32-bit, unsigned) to type 'int8_t' (aka 'char') changed the value to -1 (8-bit, signed) ^ :1:1: note: with "@LINE-1" equal to "52" /vol/llvm/src/compiler-rt/local/test/ubsan/TestCases/ImplicitConversion/signed-integer-truncation-or-sign-change-blacklist.c:52:10: runtime error: implicit conversion from type 'uint32_t' (aka 'unsigned int') of value 4294967295 (32-bit, unsigned) to type 'int8_t' (aka 'char') changed the value to -1 (8-bit, signed) ^ :1:69: note: possible intended match here /vol/llvm/src/compiler-rt/local/test/ubsan/TestCases/ImplicitConversion/signed-integer-truncation-or-sign-change-blacklist.c:52:10: runtime error: implicit conversion from type 'uint32_t' (aka 'unsigned int') of value 4294967295 (32-bit, unsigned) to type 'int8_t' (aka 'char') changed the value to -1 (8-bit, signed) ^This is always a difference for int8_t where signed char is expected, but onlychar seen.I could trace this to which has /* * Basic / Extended integer types * * The following defines the basic fixed-size integer types. * * Implementations are free to typedef them to Standard C integer types or * extensions that they support. If an implementation does not support one * of the particular integer data types below, then it should not define the * typedefs and macros corresponding to that data type. Note that int8_t * is not defined in -Xs mode on ISAs for which the ABI specifies "char" * as an unsigned entity because there is no way to define an eight bit * signed integral. */ #if defined(_CHAR_IS_SIGNED) typedef char int8_t; #else #if defined(__STDC__) typedef signed char int8_t; #endif #endif_CHAR_IS_SIGNED is always defined on both sparc and x86. Since it seems okto have either form, I've changed the affected tests to use'{{(signed )?}}char' instead of 'signed char'.Tested on x86_64-pc-solaris2.11, sparcv9-sun-solaris2.11, and x86_64-pc-linux-gnu.Differential Revision: https://reviews.llvm.org/D63984llvm-svn: 365303 List of files: /llvm-project-15.0.7/compiler-rt/test/ubsan/TestCases/ImplicitConversion/integer-arithmetic-value-change.c

37eefc07 - Adapt UBSan integer truncation tests to NetBSD

Tue, 06 Nov 2018 14:18:05 +0000

Adapt UBSan integer truncation tests to NetBSDSummary:The NetBSD headers use internal indirect type forstandard *int*_t definitions. The internal type is unrolledinside the sanitizer into e.g. __int32_t from int32_t.This symbol mangling causes pattern mismatch inthe interger truncation tests as they expect exacttypes such as 'int32_t'.Change the pattern rules so every acceptable internalform of *int*_t will be accepted flawlessly.Reviewers: lebedev.ri, vitalybuka, joergReviewed By: lebedev.riSubscribers: kubamracek, dmgreen, llvm-commits, mgorny, #sanitizersTags: #sanitizersDifferential Revision: https://reviews.llvm.org/D54150llvm-svn: 346228 List of files: /llvm-project-15.0.7/compiler-rt/test/ubsan/TestCases/ImplicitConversion/integer-arithmetic-value-change.c

a0457c02 - [NFC][compiler-rt] Cleanup Implicit Conversion Sanitizer tests to use sized types

Tue, 30 Oct 2018 21:59:09 +0000

[NFC][compiler-rt] Cleanup Implicit Conversion Sanitizer tests to use sized typesSummary: As requested by @filcab in https://reviews.llvm.org/D50251#1280267Reviewers: filcab, vsk, #sanitizers, vitalybukaReviewed By: filcab, #sanitizers, vitalybukaSubscribers: vitalybuka, kubamracek, dberris, llvm-commits, filcabTags: #sanitizersDifferential Revision: https://reviews.llvm.org/D53869llvm-svn: 345661 List of files: /llvm-project-15.0.7/compiler-rt/test/ubsan/TestCases/ImplicitConversion/integer-arithmetic-value-change.c

320e9af3 - [compiler-rt][ubsan] Implicit Conversion Sanitizer - integer sign change - compiler-rt part

Tue, 30 Oct 2018 21:58:54 +0000

[compiler-rt][ubsan] Implicit Conversion Sanitizer - integer sign change - compiler-rt partSummary:This is a compiler-rt part.The clang part is D50250.See [[ https://bugs.llvm.org/show_bug.cgi?id=21530 | PR21530 ]], https://github.com/google/sanitizers/issues/940.Reviewers: vsk, filcab, #sanitizersReviewed By: filcab, #sanitizersSubscribers: mclow.lists, srhines, kubamracek, dberris, rjmccall, rsmith, llvm-commits, regehrTags: #sanitizersDifferential Revision: https://reviews.llvm.org/D50251llvm-svn: 345659 List of files: /llvm-project-15.0.7/compiler-rt/test/ubsan/TestCases/ImplicitConversion/integer-arithmetic-value-change.c