Home
last modified time | relevance | path

Searched refs:VLA (Results 1 – 25 of 46) sorted by relevance

12

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DVLASizeChecker.cpp69 const VariableArrayType *VLA, in checkVLA() argument
71 assert(VLA && "Function should be called with non-null VLA argument."); in checkVLA()
83 while (VLA) { in checkVLA()
84 const Expr *SizeE = VLA->getSizeExpr(); in checkVLA()
89 VLALast = VLA; in checkVLA()
90 VLA = C.getASTContext().getAsVariableArrayType(VLA->getElementType()); in checkVLA()
269 const VariableArrayType *VLA = Ctx.getAsVariableArrayType(TypeToCheck); in checkPreStmt() local
270 if (!VLA) in checkPreStmt()
277 State = checkVLA(C, State, VLA, ArraySize); in checkPreStmt()
311 if (!VLA) in checkPreStmt()
[all …]
/llvm-project-15.0.7/clang/test/Analysis/
H A Dcfg.cpp509 typedef int VLA[x]; in vla_typedef() typedef
518 using VLA = int[x]; in vla_typealias() typedef
529 typedef int VLA[x][y]; in vla_typedef_multi() typedef
545 typedef int VLA[x]; in vla_typedefname_multi() typedef
546 typedef VLA VLA1[y]; in vla_typedefname_multi()
568 typedef int VLA[++x]; in vla_evaluate() typedef
H A Dvla-overflow.c18 …typedef char VLA[x][x][x][x]; // expected-warning{{Declared variable-length array (VLA) has too la… in check_VLA_overflow_typedef() typedef
23 typedef char VLA[x][x][x][x - 1]; in check_VLA_no_overflow() typedef
H A Dcfg.c95 typedef int VLA[x]; in vla_typedef() typedef
106 typedef int VLA[x][y]; in vla_typedef_multi() typedef
H A Dvla.c94 typedef int VLA[x]; // expected-warning{{Declared variable-length array (VLA) has negative size}} in check_VLA_typedef() typedef
/llvm-project-15.0.7/clang/test/CodeGen/
H A D2006-01-13-StackSave.c10 int VLA[i]; in test() local
11 external(VLA); in test()
/llvm-project-15.0.7/llvm/test/Transforms/Mem2Reg/
H A Ddebug-alloca-vla-2.ll4 ; Testing conversion from dbg.declare to dbg.value when the variable is a VLA.
6 ; We can't derive the size of the variable since it is a VLA with an unknown
11 ; get a dbg.value that says that we do not know the value of the VLA in place
12 ; of the store (since we do not know which part of the VLA the store is
H A Ddebug-alloca-vla-1.ll4 ; Testing conversion from dbg.declare to dbg.value when the variable is a VLA.
/llvm-project-15.0.7/llvm/test/Transforms/SafeStack/X86/
H A Ddebug-loc-dynamic.ll16 ; CHECK: store i8* %[[VLA:.*]], i8** @__safestack_unsafe_stack_ptr
17 ; CHECK: tail call void @llvm.dbg.value(metadata i8* %[[VLA]], metadata ![[TYPE:.*]], metadata !DI…
18 ; CHECK: call void @capture({{.*}} %[[VLA]])
/llvm-project-15.0.7/llvm/test/DebugInfo/ARM/
H A Dlowerbdgdeclare_vla.ll27 ; The VLA alloca should be described by a dbg.declare:
28 ; CHECK: call void @llvm.dbg.declare(metadata float* %vla, metadata ![[VLA:.*]], metadata {{.*}})
29 ; The VLA alloca and following store into the array should not be lowered to like this:
30 ; CHECK-NOT: call void @llvm.dbg.value(metadata float %r, metadata ![[VLA]])
/llvm-project-15.0.7/llvm/test/Transforms/InstCombine/
H A Dsalvage-dbg-declare.ll7 ; CHECK: %[[VLA:.*]] = alloca [2 x i32]
8 ; CHECK: call void @llvm.dbg.declare(metadata [2 x i32]* %[[VLA]], {{.*}}, metadata !DIExpression(…
/llvm-project-15.0.7/llvm/test/Transforms/Inline/
H A Dalloca_test.ll33 ; CHECK-NEXT: [[VLA:%.*]] = alloca double, i32 %p1
48 ; CHECK-NEXT: [[VLA:%.*]] = alloca double, i32 %p1
/llvm-project-15.0.7/llvm/test/CodeGen/AArch64/
H A Daarch64-dynamic-stack-layout.ll8 ; . a function having a VLA/noVLA
317 ; Check correct accessing of the VLA variable through the base pointer
318 ; CHECK: ldr w[[VLA:[0-9]+]], [x[[VLASPTMP]]]
364 ; Check correct accessing of the VLA variable through the base pointer
365 ; CHECK: ldr w[[VLA:[0-9]+]], [x[[VLASPTMP]]]
426 ; CHECK: ldr w[[VLA:[0-9]+]], [x[[VLASPTMP]]]
474 ; CHECK-MACHO: ldr w[[VLA:[0-9]+]], [x[[VLASPTMP]]]
527 ; CHECK: ldr w[[VLA:[0-9]+]], [x[[VLASPTMP]]]
562 ; CHECK-MACHO: ldr w[[VLA:[0-9]+]], [x[[VLASPTMP]]]
613 ; CHECK: ldr w[[VLA:[0-9]+]], [x[[VLASPTMP]]]
[all …]
H A Dshrink-wrapping-vla.ll88 ; VLA allocation
/llvm-project-15.0.7/llvm/test/CodeGen/X86/
H A Dcmpxchg8b_alloca_regalloc_handling.ll38 ; - base pointer for stack frame (VLA + alignment)
69 ; - base pointer for stack frame (VLA + alignment)
H A Dshrink-wrapping-vla.ll85 ; VLA allocation
/llvm-project-15.0.7/mlir/test/Integration/Dialect/Vector/CPU/ArmSVE/
H A Dtest-sve.mlir8 // VLA memcopy
22 // VLA multiply and add
70 // VLA unknown bounds vector addition
/llvm-project-15.0.7/clang/test/ARCMT/
H A Dcxx-checking.mm97 // It's okay to create a VLA of retainable types.
/llvm-project-15.0.7/clang-tools-extra/docs/clang-tidy/checks/modernize/
H A Davoid-c-arrays.rst23 int c[b[0]]; // warning: do not declare C VLA arrays, use std::vector<> instead
/llvm-project-15.0.7/clang/test/SemaObjC/
H A Dscope-check.m91 typedef int A[n]; // expected-note {{jump bypasses initialization of VLA typedef}}
/llvm-project-15.0.7/llvm/test/DebugInfo/X86/
H A Dvla-global.ll10 ; Test that a VLA referring to a global variable is handled correctly.
/llvm-project-15.0.7/clang/test/CodeGenObjC/
H A Darc.m542 // Capture the VLA size.
550 // Allocate the VLA.
551 // CHECK-NEXT: [[VLA:%.*]] = alloca i8*, i64 [[DIM]], align 16
553 // Store the VLA #elements expression.
557 // CHECK-NEXT: [[T0:%.*]] = bitcast i8** [[VLA]] to i8*
563 // CHECK-NEXT: [[EMPTY:%.*]] = icmp eq i8** [[VLA]], [[END]]
570 // CHECK-NEXT: [[EQ:%.*]] = icmp eq i8** [[CUR]], [[VLA]]
587 // Capture the VLA size.
595 // Allocate the VLA.
599 // Store the VLA #elements expression.
[all …]
/llvm-project-15.0.7/lldb/test/Shell/SymbolFile/DWARF/x86/
H A Darray-sizes.s3 # misinterpreted that value as a reference to a DIE specifying the VLA size even
/llvm-project-15.0.7/clang/include/clang/Sema/
H A DScopeInfo.h610 Capture(IsVLACapture, const VariableArrayType *VLA, bool IsNested, in Capture() argument
612 : CapturedVLA(VLA), Loc(Loc), CaptureType(CaptureType), Kind(Cap_VLA), in Capture()
/llvm-project-15.0.7/llvm/test/Transforms/SROA/
H A Dscalable-vectors.ll65 ; When casting from VLA to VLS via memory check we bail out when producing a

12