| /llvm-project-15.0.7/clang/test/SemaObjC/ |
| H A D | objc-literal-comparison.m | 39 …/ expected-warning{{direct comparison of a string literal has undefined behavior}} expected-note{{…
40 …/ expected-warning{{direct comparison of a string literal has undefined behavior}} expected-note{{…
41 …/ expected-warning{{direct comparison of a string literal has undefined behavior}} expected-note{{…
63 …== @"") return; // expected-warning{{direct comparison of a string literal has undefined behavior}}
65 …== @"") return; // expected-warning{{direct comparison of a string literal has undefined behavior}}
66 …== @"") return; // expected-warning{{direct comparison of a string literal has undefined behavior}}
68 … < @"") return; // expected-warning{{direct comparison of a string literal has undefined behavior}}
69 … > @"") return; // expected-warning{{direct comparison of a string literal has undefined behavior}}
70 …<= @"") return; // expected-warning{{direct comparison of a string literal has undefined behavior}}
71 …>= @"") return; // expected-warning{{direct comparison of a string literal has undefined behavior}}
[all …]
|
| /llvm-project-15.0.7/llvm/test/Analysis/Lint/ |
| H A D | check-zero-divide.ll | 24 ; CHECK: Undefined behavior: Division by zero
31 ; CHECK: Undefined behavior: Division by zero
38 ; CHECK: Undefined behavior: Division by zero
45 ; CHECK: Undefined behavior: Division by zero
52 ; CHECK: Undefined behavior: Division by zero
59 ; CHECK: Undefined behavior: Division by zero
66 ; CHECK: Undefined behavior: Division by zero
73 ; CHECK: Undefined behavior: Division by zero
|
| H A D | memintrin.ll | 11 ; CHECK: Undefined behavior: Memory reference address is misaligned
14 ; CHECK: Undefined behavior: Memory reference address is misaligned
33 ; CHECK: Undefined behavior: Memory reference address is misaligned
36 ; CHECK: Undefined behavior: Memory reference address is misaligned
53 ; CHECK: Undefined behavior: Memory reference address is misaligned
|
| H A D | tail-call-byval.ll | 15 ; CHECK: Undefined behavior: Call with "tail" keyword references alloca
30 ; CHECK-NOT: Undefined behavior: Call with "tail" keyword references alloca
|
| /llvm-project-15.0.7/clang/test/SemaObjCXX/ |
| H A D | warn-implicit-self-in-block.mm | 20 …{block implicitly retains 'self'; explicitly mention 'self' to indicate this is intended behavior}}
28 …{block implicitly retains 'self'; explicitly mention 'self' to indicate this is intended behavior}}
30 …{block implicitly retains 'self'; explicitly mention 'self' to indicate this is intended behavior}}
32 …{block implicitly retains 'self'; explicitly mention 'self' to indicate this is intended behavior}}
40 …{block implicitly retains 'self'; explicitly mention 'self' to indicate this is intended behavior}}
|
| /llvm-project-15.0.7/clang-tools-extra/docs/clang-tidy/checks/cert/ |
| H A D | dcl58-cpp.rst | 7 behavior.
26 …int x; // warning: modification of 'std' namespace can result in undefined behavior [cert-dcl58-cp…
29 …namespace posix::a { // warning: modification of 'posix' namespace can result in undefined behavior
33 …ct ::std::hash<long> { // warning: modification of 'std' namespace can result in undefined behavior
50 …ol>(bool &a, bool &b); // warning: modification of 'std' namespace can result in undefined behavior
53 …&&, MyData &&) const { // warning: modification of 'std' namespace can result in undefined behavior
|
| /llvm-project-15.0.7/llvm/test/tools/llvm-readobj/ELF/ |
| H A D | no-action.test | 1 ## Show the behavior of llvm-readobj/llvm-readelf when no operations are requested.
3 ## Check the behavior on ET_EXEC input.
26 ## Check the behavior on ET_REL input.
32 ## Check the behavior on ET_DYN input.
|
| /llvm-project-15.0.7/llvm/test/Other/ |
| H A D | lint.ll | 72 ; CHECK: Undefined behavior: Null pointer dereference
74 ; CHECK: Undefined behavior: Null pointer dereference
97 ; CHECK: Undefined behavior: Buffer overflow
100 ; CHECK: Undefined behavior: Buffer overflow
104 ; CHECK: Undefined behavior: Buffer overflow
118 ; CHECK-NOT: Undefined behavior: Buffer overflow
139 ; CHECK: Undefined behavior: Branch to non-blockaddress
146 ; CHECK: Undefined behavior: Call with "tail" keyword references alloca
182 ; CHECK: Undefined behavior: Undef pointer dereference
200 ; CHECK: Undefined behavior: indirectbr with no destinations
|
| /llvm-project-15.0.7/lld/docs/ELF/ |
| H A D | start-stop-gc.rst | 14 symbols. In October 2015, GNU ld switched behavior and made a ``__start_meta``
16 conservative behavior works for existing code which does not take GC into fair
20 GNU ld 2.37 added ``-z start-stop-gc`` to restore the traditional behavior
22 to switch to the conservative behavior.
|
| /llvm-project-15.0.7/llvm/test/MC/AsmParser/ |
| H A D | altmacro_string.s | 21 # Except adding new string marks '<..>', a regular macro behavior is expected.
33 # The altmacro cannot affect the regular less/greater behavior.
63 # A regular macro behavior is expected.
|
| /llvm-project-15.0.7/llvm/test/Transforms/InstCombine/ |
| H A D | 2004-02-23-ShiftShiftOverflow.ll | 4 ; Do not fold into shr X, 34, as this uses undefined behavior!
11 ; Do not fold into shl X, 34, as this uses undefined behavior!
|
| /llvm-project-15.0.7/libcxx/docs/DesignDocs/ |
| H A D | DebugMode.rst | 54 Randomizing unspecified behavior
56 The library supports the randomization of unspecified behavior. For example, randomizing
59 future faster versions of these algorithms that might not have the exact same behavior.
60 In particular, it makes it easier to deflake tests that depend on unspecified behavior.
|
| H A D | UnspecifiedBehaviorRandomization.rst | 26 Provide functionality for randomizing the unspecified behavior so that the users
40 * This macro randomizes the unspecified behavior of algorithms and containers.
68 unspecified behavior in their tests, this effort helps to turn this flag in
|
| /llvm-project-15.0.7/mlir/test/Transforms/ |
| H A D | promote-buffers-to-stack.mlir | 5 // This file checks the behavior of PromoteBuffersToStack pass for converting
14 // PromoteBuffersToStack expected behavior: It should convert %0 into an
45 // PromoteBuffersToStack expected behavior:
114 // PromoteBuffersToStack expected behavior: It should convert it to an
133 // PromoteBuffersToStack expected behavior: It should convert it into an
291 // PromoteBuffersToStack expected behavior: It converts the two AllocOps into
318 // PromoteBuffersToStack expected behavior: Both AllocOps are converted into
352 // PromoteBuffersToStack expected behavior: The AllocOps are converted into
387 // PromoteBuffersToStack expected behavior: The first alloc is returned, so
413 // due to its dynamic memory allocation behavior.
[all …]
|
| /llvm-project-15.0.7/clang-tools-extra/docs/clang-tidy/checks/abseil/ |
| H A D | upgrade-duration-conversions.rst | 21 prevent unintended behavior. After these changes are released, passing an
42 current behavior of user code. It is possible that this uncovers unintended
43 behavior due to types implicitly convertible to a floating-point type.
|
| /llvm-project-15.0.7/llvm/test/Verifier/ |
| H A D | fp-intrinsics.ll | 47 ; Test an illegal value for the exception behavior argument.
48 ; CHECK3: invalid exception behavior argument
69 ; Test an illegal value for the exception behavior argument.
70 ; CHECK5: invalid exception behavior argument
|
| /llvm-project-15.0.7/clang-tools-extra/docs/clang-tidy/checks/bugprone/ |
| H A D | macro-parentheses.rst | 7 Finds macros that can have unexpected behavior due to missing parentheses.
10 unexpected behavior; operators may be evaluated in unexpected order and
|
| H A D | exception-escape.rst | 17 A destructor throwing an exception may result in undefined behavior, resource
19 move assignment also may result in undefined behavior or resource leak. The
|
| /llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/ |
| H A D | constfold-constrained.ll | 5 ; Verify that floor(10.1) is folded to 10.0 when the exception behavior is 'ignore'.
16 ; Verify that floor(-10.1) is folded to -11.0 when the exception behavior is not 'ignore'.
28 ; Verify that ceil(10.1) is folded to 11.0 when the exception behavior is 'ignore'.
39 ; Verify that ceil(-10.1) is folded to -10.0 when the exception behavior is not 'ignore'.
51 ; Verify that trunc(10.1) is folded to 10.0 when the exception behavior is 'ignore'.
62 ; Verify that trunc(-10.1) is folded to -10.0 when the exception behavior is NOT 'ignore'.
74 ; Verify that round(10.5) is folded to 11.0 when the exception behavior is 'ignore'.
155 ; Verify that trunc(SNAN) is NOT folded if the exception behavior mode is not 'ignore'.
167 ; Verify that trunc(SNAN) is folded to QNAN if the exception behavior mode is 'ignore'.
214 ; Verify that rint(10.1) is NOT folded to 10.0 when the exception behavior is 'strict'.
[all …]
|
| /llvm-project-15.0.7/libc/docs/ |
| H A D | fuzzing.rst | 16 differential fuzz tests. These tests compare the behavior of LLVM libc
17 implementations with the behavior of the corresponding functions from the system
|
| /llvm-project-15.0.7/clang/docs/ |
| H A D | UndefinedBehaviorSanitizer.rst | 11 UndefinedBehaviorSanitizer (UBSan) is a fast undefined behavior detector.
13 behavior during program execution, for example:
53 and define the desired behavior for each kind of check:
114 Issues caught by these sanitizers are not undefined behavior,
120 Issues caught by this sanitizer are not undefined behavior,
135 behavior, therefore the check is not a part of the ``undefined`` group.
139 This will also detect some types of undefined behavior that may not
172 type. Unlike signed integer overflow, this is not undefined behavior, but
198 behavior of implicit conversions. Enables
203 behavior (e.g. unsigned integer overflow).
[all …]
|
| /llvm-project-15.0.7/lld/test/ELF/linkerscript/ |
| H A D | sort2.s | 9 ## Note, GNU ld has a strange behavior with more than one SORT* https://sourceware.org/pipermail/bi…
10 ## In the absence of SORT, our multi-pattern behavior matches GNU ld.
|
| /llvm-project-15.0.7/lld/test/MachO/ |
| H A D | lto-weak-ref.ll | 8 ;; As baseline, compile the .ll file to a real .o file and check behavior.
13 ;; Check that we get the same behavior compiling the .ll file to a bitcode .o
|
| /llvm-project-15.0.7/mlir/test/Dialect/Bufferization/Transforms/ |
| H A D | buffer-hoisting.mlir | 12 // BufferHoisting expected behavior: It should move the existing AllocOp to
40 // BufferHoisting expected behavior: It should not move the existing AllocOp
82 // BufferHoisting expected behavior: It should not move the existing AllocOp
126 // BufferHoisting expected behavior: It should move the existing AllocOp to
152 // BufferHoisting expected behavior: It shouldn't move the AllocOps.
190 // BufferHoisting expected behavior: It shouldn't move the AllocOp.
222 // BufferHoisting expected behavior: AllocOps shouldn't be moved.
258 // BufferHoisting expected behavior: It shouldn't move the AllocOps.
282 // BufferHoisting expected behavior: Both AllocOps should be moved to the
317 // BufferHoisting expected behavior: It should move the AllocOp to the entry
[all …]
|
| /llvm-project-15.0.7/clang-tools-extra/docs/clang-tidy/checks/clang-analyzer/ |
| H A D | optin.portability.UnixAPI.rst | 6 Finds implementation-defined behavior in UNIX/Posix functions
|