| /llvm-project/clang-tools-extra/test/clang-tidy/checkers/bugprone/ |
| H A D | assert-side-effect.cpp | 1 …side-effect %t -- -config="{CheckOptions: {bugprone-assert-side-effect.CheckFunctionCalls: true, b…
37 …MESSAGES: :[[@LINE-1]]:3: warning: side effect in assert() condition discarded in release builds [… in main()
39 …// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: side effect in my_assert() condition discarded in rele… in main()
41 …// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: side effect in convoluted_assert() condition discarded… in main()
45 …// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: side effect in assert() condition discarded in release… in main()
51 …// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: side effect in assert() condition discarded in release… in main()
56 …// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: side effect in assert() condition discarded in release… in main()
60 …// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: side effect in assert() condition discarded in release… in main()
63 …// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: side effect in assert() condition discarded in release… in main()
68 …// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: side effect in assert() condition discarded in release… in main()
[all …]
|
| H A D | macro-repeated-side-effects.c | 1 // RUN: %check_clang_tidy %s bugprone-macro-repeated-side-effects %t
6 …[@LINE-1]]:14: warning: side effects in the 1st macro argument 'x' are repeated in macro expansion… in bad()
9 // CHECK-NOTES: :[[@LINE-1]]:14: warning: side effects in the 1st macro argument 'x' in bad()
12 // CHECK-NOTES: :[[@LINE-1]]:14: warning: side effects in the 1st macro argument 'x' in bad()
15 // CHECK-NOTES: :[[@LINE-1]]:14: warning: side effects in the 1st macro argument 'x' in bad()
18 // CHECK-NOTES: :[[@LINE-1]]:17: warning: side effects in the 2nd macro argument 'y' in bad()
21 // CHECK-NOTES: :[[@LINE-1]]:17: warning: side effects in the 2nd macro argument 'y' in bad()
24 // CHECK-NOTES: :[[@LINE-1]]:17: warning: side effects in the 2nd macro argument 'y' in bad()
27 // CHECK-NOTES: :[[@LINE-1]]:17: warning: side effects in the 2nd macro argument 'y' in bad()
36 // CHECK-NOTES: :[[@LINE-1]]:7: warning: side effects in the 1st macro argument 'A' in question()
[all …]
|
| H A D | inc-dec-in-conditions.cpp | 22 …ng and referencing a variable in a complex condition can cause unintended side-effects due to C++'… in f()
27 …ng and referencing a variable in a complex condition can cause unintended side-effects due to C++'… in f2()
33 …ng and referencing a variable in a complex condition can cause unintended side-effects due to C++'… in c()
39 …ng and referencing a variable in a complex condition can cause unintended side-effects due to C++'… in c2()
44 …ng and referencing a variable in a complex condition can cause unintended side-effects due to C++'… in d()
49 …ng and referencing a variable in a complex condition can cause unintended side-effects due to C++'… in d2()
55 …ng and referencing a variable in a complex condition can cause unintended side-effects due to C++'… in g()
61 …ng and referencing a variable in a complex condition can cause unintended side-effects due to C++'… in g2()
68 …ng and referencing a variable in a complex condition can cause unintended side-effects due to C++'… in doubleCheck()
69 …ng and referencing a variable in a complex condition can cause unintended side-effects due to C++'… in doubleCheck()
|
| H A D | assert-side-effect.m | 1 // RUN: %check_clang_tidy %s bugprone-assert-side-effect %t
45 …ESSAGES: :[[@LINE-1]]:3: warning: side effect in NSAssert() condition discarded in release builds …
52 …SSAGES: :[[@LINE-1]]:3: warning: side effect in NSCAssert() condition discarded in release builds …
|
| /llvm-project/llvm/include/llvm/IR/ |
| H A D | FixedPointBuilder.h | 224 /// \p LHS - The left hand side
225 /// \p LHSSema - The semantic of the left hand side
226 /// \p RHS - The right hand side
227 /// \p RHSSema - The semantic of the right hand side
250 /// \p LHS - The left hand side
251 /// \p LHSSema - The semantic of the left hand side
252 /// \p RHS - The right hand side
253 /// \p RHSSema - The semantic of the right hand side
284 /// \p LHS - The left hand side
285 /// \p LHSSema - The semantic of the left hand side
[all …]
|
| /llvm-project/mlir/docs/Rationale/ |
| H A D | SideEffectsAndSpeculation.md | 1 # Side Effects & Speculation
3 This document outlines how MLIR models side effects and how speculation works in
7 [CFG regions](../LangRef.md/#control-flow-and-ssacfg-regions). Side effect
82 1. Are these side effects ordered? The op should probably set the stage of
83 side effects to make analyses more accurate.
84 1. Do these side effects act on every single value of a resource? It probably
86 1. Does it have side effects that must be preserved, like a volatile store or a
89 RFC if your operation has a novel side effect that cannot be adequately
98 1. Is your operation free of side effects and can be freely hoisted, introduced
105 add side effec
[all...] |
| /llvm-project/flang/test/Semantics/ |
| H A D | assign10.f90 | 14 !ERROR: Dimension 1 of left-hand side has extent 2, but right-hand side has extent 3
16 !ERROR: Dimension 1 of left-hand side has extent 3, but right-hand side has extent 2
23 !ERROR: Dimension 1 of left-hand side has extent 3, but right-hand side has extent 2
25 !ERROR: Dimension 1 of left-hand side has extent 2, but right-hand side has extent 3
27 !ERROR: Dimension 1 of left-hand side has extent 10, but right-hand side ha
[all...] |
| H A D | call12.f90 | 47 !ERROR: Left-hand side of assignment is not definable
50 !ERROR: Left-hand side of assignment is not definable
53 !ERROR: Left-hand side of assignment is not definable
56 !ERROR: Left-hand side of assignment is not definable
59 !ERROR: Left-hand side of assignment is not definable
62 !ERROR: Left-hand side of assignment is not definable
65 !ERROR: The left-hand side of a pointer assignment is not definable
98 !ERROR: Left-hand side of assignment is not definable
|
| /llvm-project/clang/test/Sema/ |
| H A D | warn-logical-not-compare.c | 10 // expected-warning@-1 {{logical not is only applied to the left hand side of this comparison}} in test1()
12 // expected-note@-3 {{add parentheses around left hand side expression to silence this warning}} in test1()
22 //expected-warning@-1 {{logical not is only applied to the left hand side of this comparison}} in test1()
24 // expected-note@-3 {{add parentheses around left hand side expression to silence this warning}} in test1()
34 //expected-warning@-1 {{logical not is only applied to the left hand side of this comparison}} in test1()
36 // expected-note@-3 {{add parentheses around left hand side expression to silence this warning}} in test1()
46 //expected-warning@-1 {{logical not is only applied to the left hand side of this comparison}} in test1()
48 // expected-note@-3 {{add parentheses around left hand side expression to silence this warning}} in test1()
58 //expected-warning@-1 {{logical not is only applied to the left hand side of this comparison}} in test1()
60 // expected-note@-3 {{add parentheses around left hand side expression to silence this warning}} in test1()
[all …]
|
| H A D | builtin-assume.c | 11 …++i > 2); //expected-warning {{assumption is ignored because it contains (potential) side-effects}} in foo()
12 …t() > 2); //expected-warning {{assumption is ignored because it contains (potential) side-effects}} in foo()
15 …+i) > 2); //expected-warning {{assumption is ignored because it contains (potential) side-effects}} in foo()
20 …++i > 2); //expected-warning {{assumption is ignored because it contains (potential) side-effects}} in foo()
21 …t() > 2); //expected-warning {{assumption is ignored because it contains (potential) side-effects}} in foo()
24 …+i) > 2); //expected-warning {{assumption is ignored because it contains (potential) side-effects}} in foo()
|
| /llvm-project/llvm/test/Analysis/ScalarEvolution/ |
| H A D | exact_iter_count.ll | 4 ; One side exit dominating the latch, exact backedge taken count is known.
22 %side.cond = icmp slt i32 %iv, 50
23 br i1 %side.cond, label %backedge, label %side.exit
33 side.exit:
63 %side.cond = icmp slt i32 %iv, 50
64 br i1 %side.cond, label %backedge, label %side.exit
74 side.exit:
|
| /llvm-project/clang/test/SemaCUDA/ |
| H A D | lambda.cu | 6 // RUN: -Wno-gpu-maybe-wrong-side %s
30 …side class data member by this pointer in device or host device lambda function may result in inva… in test()
33 …side class data member by this pointer in device or host device lambda function may result in inva… in test()
36 …side class data member by this pointer in device or host device lambda function may result in inva… in test()
40 …side class data member by this pointer in device or host device lambda function may result in inva… in test()
45 …side class data member by this pointer in device or host device lambda function may result in inva… in test()
|
| H A D | builtin-mangled-name.cu | 13 …// expected-error@-1 {{invalid argument: symbol must be a device-side function or global variable}} in fun1()
15 …// expected-error@-1 {{invalid argument: symbol must be a device-side function or global variable}} in fun1()
17 …// expected-error@-1 {{invalid argument: symbol must be a device-side function or global variable}} in fun1()
19 …// expected-error@-1 {{invalid argument: symbol must be a device-side function or global variable}} in fun1()
21 …// expected-error@-1 {{invalid argument: symbol must be a device-side function or global variable}} in fun1()
23 …// expected-error@-1 {{invalid argument: symbol must be a device-side function or global variable}} in fun1()
|
| H A D | asm-constraints-mixed.cu | 8 global_dev_hreg asm("rsp"); // device-side error
11 register long global_host_dreg asm("r0"); // host-side error
15 register long local_host_reg asm("rsp"); // device-side error in df()
22 register long local_dev_reg asm("r0"); // host-side error in hf()
32 // Device-side compilation:
36 // Host-side compilation:
|
| /llvm-project/clang/test/SemaCXX/ |
| H A D | warn-logical-not-compare.cpp | 11 // expected-warning@-1 {{logical not is only applied to the left hand side of this comparison}} in test1()
13 // expected-note@-3 {{add parentheses around left hand side expression to silence this warning}} in test1()
23 //expected-warning@-1 {{logical not is only applied to the left hand side of this comparison}} in test1()
25 // expected-note@-3 {{add parentheses around left hand side expression to silence this warning}} in test1()
35 //expected-warning@-1 {{logical not is only applied to the left hand side of this comparison}} in test1()
37 // expected-note@-3 {{add parentheses around left hand side expression to silence this warning}} in test1()
47 //expected-warning@-1 {{logical not is only applied to the left hand side of this comparison}} in test1()
49 // expected-note@-3 {{add parentheses around left hand side expression to silence this warning}} in test1()
59 //expected-warning@-1 {{logical not is only applied to the left hand side of this comparison}} in test1()
61 // expected-note@-3 {{add parentheses around left hand side expression to silence this warning}} in test1()
[all …]
|
| H A D | cxx23-assume.cpp | 33 [[assume(T{})]]; // expected-error {{not contextually convertible to 'bool'}} expected-warning {{assumption is ignored because it contains (potential) side-effects}} ext-warning {{C++23 extension}}
43 [[assume(f2())]]; // expected-warning {{assumption is ignored because it contains (potential) side-effects}} ext-warning {{C++23 extension}} in g()
45 [[assume((x = 3))]]; // expected-warning {{assumption is ignored because it contains (potential) side-effects}} // ext-warning {{C++23 extension}} in g()
46 [[assume(x++)]]; // expected-warning {{assumption is ignored because it contains (potential) side-effects}} // ext-warning {{C++23 extension}} in g()
47 [[assume(++x)]]; // expected-warning {{assumption is ignored because it contains (potential) side-effects}} // ext-warning {{C++23 extension}} in g()
48 [[assume([]{ return true; }())]]; // expected-warning {{assumption is ignored because it contains (potential) side-effects}} // ext-warning {{C++23 extension}} in g()
49 [[assume(B{})]]; // expected-warning {{assumption is ignored because it contains (potential) side-effects}} // ext-warning {{C++23 extension}} in g()
96 [[assume(!T{})]]; // expected-error {{invalid argument type 'D'}} // expected-warning 2 {{assumption is ignored because it contains (potential) side-effects}} ext-warning {{C++23 extension}} in f4()
139 // Do not validate assumptions whose evaluation would have side-effects. in foo()
142 [[assume(a++)]] [[assume(++a)]]; // expected-warning 2 {{assumption is ignored because it contains (potential) side in foo()
[all...] |
| H A D | warn-unused-value.cpp | 15 // pointer to volatile has side effect (thus no warning) in doit()
95 …(void)typeid(++i); // expected-warning {{expression with side effects has no effect in an unevalua… in f()
103 …(void)typeid(b.f()); // expected-warning {{expression with side effects will be evaluated despite … in f()
106 // This typeid can throw but that is not a side-effect that we care about in f()
110 …(void)typeid(*++pb); // expected-warning {{expression with side effects will be evaluated despite … in f()
111 …(void)sizeof(typeid(*++pb)); // expected-warning {{expression with side effects has no effect in a… in f()
113 …// expected-warning@-2 {{expression with side effects will be evaluated despite being used as an o… in f()
115 // A dereference of a volatile pointer is a side effecting operation, however in f()
|
| /llvm-project/clang-tools-extra/docs/clang-tidy/checks/bugprone/ |
| H A D | assert-side-effect.rst | 1 .. title:: clang-tidy - bugprone-assert-side-effect
3 bugprone-assert-side-effect
6 Finds ``assert()`` with side effect.
9 condition with side effect can cause different behavior in debug / release
22 side effects. Disabled by default because it can increase the number of false
28 considered as not having side-effects. Regular expressions are accepted,
|
| /llvm-project/llvm/test/Transforms/IndVarSimplify/ |
| H A D | outer_phi.ll | 39 ; CHECK: side.exit:
56 br i1 %signed_cond, label %inner.1, label %side.exit
60 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
74 side.exit:
109 ; CHECK: side.exit:
126 br i1 %signed_cond, label %inner.1, label %side.exit
130 br i1 %unsigned_cond, label %inner.backedge, label %side.exit
144 side.exit:
178 ; CHECK: side.exit:
195 br i1 %signed_cond, label %inner.1, label %side.exit
[all …]
|
| /llvm-project/flang/docs/ |
| H A D | AliasingAnalysisFIR.md | 21 …ons in the paths between the arguments. It will merely factor the type of side effects into the al…
29 ### Memory side effect or side effect:
32 …side effect will be determined by the MemoryEffectOpInterface. The interface can inform for each o…
39 An atomic read-modify-write can have both a read and write side-effect on its operands
56 Any SSA value on the RHS of an operation with a memory side effect as defined above.
62 - The LHS of an operation with Allocate side effect, this could be local or heap
|
| H A D | Character.md | 70 truncate or pad the assigned value to the length of the left-hand side
101 * as the right-hand side of an assignment,
131 side, as well as reallocating an nonconforming or deferred-length allocatable
132 left-hand side. It takes the descriptors of the left- and right-hand sides of
135 When the left-hand side of a `CHARACTER` assignment is a deferred-length
136 allocatable and the right-hand side is a temporary, use of the runtime's
147 The routine `CharacterAppend()` copies data from the right-hand side value
148 to the remaining space, if any, in the left-hand side object, and returns
|
| /llvm-project/clang/test/CXX/expr/expr.ass/ |
| H A D | p9-cxx11.cpp | 16 …a = { 1 } = b; // expected-error {{initializer list cannot be used on the left hand side of operat… in std_example()
17 …a = a + { 4 }; // expected-error {{initializer list cannot be used on the right hand side of opera… in std_example()
18 …a = { 3 } * { 4 }; // expected-error {{initializer list cannot be used on the left hand side of op… in std_example()
19 … expected-error {{initializer list cannot be used on the right hand side of operator '*'}} in std_example()
33 …3, 4 }; // expected-error {{initializer list cannot be used on the left hand side of operator '='}}
34 … } + 1; // expected-error {{initializer list cannot be used on the left hand side of operator '+'}}
|
| /llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BitwiseShiftChecker.cpp | 73 const Expr *operandExpr(OperandSide Side) const { in operandExpr()
74 return Side == OperandSide::Left ? Op->getLHS() : Op->getRHS(); in operandExpr()
83 bool assumeRequirement(OperandSide Side, BinaryOperator::Opcode Cmp, unsigned Limit);
85 void recordAssumption(OperandSide Side, BinaryOperator::Opcode Cmp, unsigned Limit);
91 BugReportPtr checkOperandNegative(OperandSide Side);
134 /// given Side of a bitwise shift operator in well-defined code. If the
137 bool BitwiseShiftValidator::assumeRequirement(OperandSide Side, in assumeRequirement() argument
142 const SVal OperandVal = Ctx.getSVal(operandExpr(Side)); in assumeRequirement()
160 recordAssumption(Side, Comparison, Limit); in assumeRequirement()
207 BugReportPtr BitwiseShiftValidator::checkOperandNegative(OperandSide Side) { in checkOperandNegative()
206 checkOperandNegative(OperandSide Side) checkOperandNegative() argument
298 recordAssumption(OperandSide Side,BinaryOperator::Opcode Comparison,unsigned Limit) recordAssumption() argument
[all...] |
| /llvm-project/clang/test/Analysis/ |
| H A D | pointer-sub-notes.c | 4 int a[3]; // expected-note{{Array at the left-hand side of subtraction}} in negative_1()
5 int b[3]; // expected-note{{Array at the right-hand side of subtraction}} in negative_1()
11 int a[3]; // expected-note{{Array at the right-hand side of subtraction}} in negative_2()
12 int b[3]; // expected-note{{Array at the left-hand side of subtraction}} in negative_2()
29 int array1[5]; // expected-note{{Array at the left-hand side of subtraction}} in different_2()
30 int array2[5]; // expected-note{{Array at the right-hand side of subtraction}} in different_2()
38 static int x[10][10]; // expected-note2{{Array at the left-hand side of subtraction}} in different_3()
|
| /llvm-project/openmp/docs/remarks/ |
| H A D | OMP160.rst | 3 Removing parallel region with no side-effects. [OMP160]
7 was not found to have any side-effects. This can occur if the region does not
17 side-effects. This can occur if the parallel region only reads memory or is
33 …omp160.cpp:4:1: remark: Removing parallel region with no side-effects. [OMP160] [-Rpass=openmp-opt]
36 …delete.cpp:2:1: remark: Removing parallel region with no side-effects. [OMP160] [-Rpass=openmp-opt]
|