checks (full) in projects: arkcompiler - OpenGrok search results

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched full:checks (Results 1 – 25 of 377) sorted by relevance

12 3 4 5 6 7 8 9 10 >>...16

/arkcompiler/runtime_core/docs/bc_verification/
D	absint_checks.md	1 ## Checks performed on abstract interpretation stage 5 This type of checks eliminate rutime problems with undefined bits in integers, truncation issues, e… 7 From security point of view, this checks guarantee expected ranges of values in code and absence of… 10 ### Access checks 12 Checks for private/protected/public access rights. 14 These checks prevent unintended/unexpected access from one method to another. 17 ### Checks of subtyping 19 Checks of compatibility of objects in arguments to instructions and actual parameters to methods. 21 These checks eliminate calls of methods with incorrect `this`, wrong access to arrays, etc. 23 ### Checks of exception handlers [all …]
/arkcompiler/runtime_core/static_core/docs/bc_verification/
D	absint_checks.md	1 ## Checks performed on abstract interpretation stage 5 This type of checks eliminate rutime problems with undefined bits in integers, truncation issues, e… 7 From security point of view, this checks guarantee expected ranges of values in code and absence of… 10 ### Access checks 12 Checks for private/protected/public access rights. 14 These checks prevent unintended/unexpected access from one method to another. 17 ### Checks of subtyping 19 Checks of compatibility of objects in arguments to instructions and actual parameters to methods. 21 These checks eliminate calls of methods with incorrect `this`, wrong access to arrays, etc. 23 ### Checks of exception handlers [all …]
/arkcompiler/runtime_core/static_core/plugins/ets/stdlib/escompat/
D	Global.ets	75 * Checks if double is `NaN` (not a number) 86 * Checks if `Float` value is `NaN` (not a number) 97 * Checks if `float` value is `NaN` (not a number) 108 * Checks if `byte` value is `NaN` (not a number) 117 * Checks if `int` value is `NaN` (not a number) 126 * Checks if `short` value is `NaN` (not a number) 135 * Checks if `long` value is `NaN` (not a number) 144 * Checks if `Byte` value is `NaN` (not a number) 153 * Checks if `Int` value is `NaN` (not a number) 162 * Checks if `Short` value is `NaN` (not a number) [all …]
/arkcompiler/ets_frontend/ets2panda/linter/test/main/
D	ts_ignore.ets.json	44 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ… 54 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ… 64 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ… 74 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ… 84 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ… 94 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ… 104 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ… 114 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ… 124 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…
D	ts_nocheck_2.ets.json	`24 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ… 34 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…`
D	ts_nocheck.ets.json	`24 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ… 34 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…`
/arkcompiler/runtime_core/static_core/verification/gen/templates/
D	abs_int_inl_compat_checks.h.erb	`23 % checks = Verification.compatibility_checks 41 % checks.results.ok.to_h.merge(checks.results.warnings.to_h).merge(checks.results.errors.to_h).each… 47 % checks.results.each_pair do \|status, values\| 53 % checks.domains.each_pair do \|_, domain\| 63 % checks.checks.each_pair do \|check_name, check\|`
/arkcompiler/runtime_core/cmake/
D	ClangTidy.cmake	14 option(PANDA_ENABLE_CLANG_TIDY "Enable clang-tidy checks during compilation" true) 74 # Add a target to clang-tidy checks. 79 # CHECKS 87 # The list of CHECKS allows to pass per-target checks in additions to 88 # global ones (see below). CHECKS follow clang-tidy syntax of checks. 89 # By default all checks are enabled globally, so the most reasonable use 90 # case for CHECKS is to pass checks to be suppressed. 93 # * We use permissive policy for checks, i.e. everything is enabled by default, 96 # because of its syntax limitations (in particular, all checks should be passed 108 set(multiValues CHECKS) [all …]
/arkcompiler/runtime_core/static_core/compiler/docs/
D	check_elimination_doc.md	1 # Checks Elimination 3 Checks Elimination - optimization which try to reduce number of checks(NullCheck, ZeroCheck, Ne… 23 #### All checks 24 All the same checks that are dominated by the current one are deleted and consecutive checks delete… 77 …RedundantBoundsCheck` algorithm try to replace more then 2 grouped bounds checks by `DeoptimiseIf`. 101 Before Checks Elimination: 111 After Checks Elimination:
/arkcompiler/runtime_core/static_core/plugins/ets/stdlib/std/core/
D	Char.ets	307 * isInBasicMultilingualPlane(char) checks if the char is in Basic Multilingual Plane. 322 …* isInBasicMultilingualPlane(UTF_16_CodePoint) checks if the code point is in Basic Multilingual P… 337 * isInBasicMultilingualPlane() checks if the underlying char is in Basic Multilingual Plane. 347 * isValidCodePoint() checks if the code point is correctly encoded. 373 * isHighSurrogate(char) checks if the char is a high surrogate. 385 * isLowSurrogate(char) checks if the char is a low surrogate. 421 * isPartOfSurrogatePair(char) checks whether the char is low or high surrogate. 432 * isPartOfSurrogatePair() checks whether the underlying char is low or high surrogate. 450 * isBinDigit() checks whether the char represents a binary digit. 462 * isBinDigit() checks whether the underlying char represents a binary digit. [all …]
D	Type.ets	618 * Checks whether type is primitive or composite 627 * Checks whether type is reference or composite 636 * Checks whether type has name 665 * Checks for equality this instance with provided object, treated as a DoubleType 691 * Checks whether type is primitive or composite 700 * Checks whether type is reference or composite 709 * Checks whether type has name 736 * Checks for equality this instance with provided object, treated as a UndefinedType 766 * Checks whether type is primitive or composite 775 * Checks whether type is reference or composite [all …]
D	Float.ets	309 * compare(float, float) checks if two floats are differs no more than by Float.DELTA 322 * Checks for equality this instance with provided object, treated as a Float 342 * Checks if float is NaN (not a number) 354 * Checks if the underlying float is NaN (not a number) 363 * Checks if float is a floating point value (not a NaN or infinity) 374 * Checks if the underlying float is a floating point value (not a NaN or infinity) 383 * Checks if float is similar to an integer value 395 * Checks if the underlying float is similar to an integer value 404 * Checks if float is a safe integer value 415 * Checks if float is a safe integer value [all …]
/arkcompiler/runtime_core/tests/checked/
D	README.md	29 * METHOD (name: string) start check of specified method, all following checks that require spec… 39 * ASM_METHOD (name: string) select a specified method in disasm file, next "ASM" checks will b… 40 ASM_INST (inst: pattern) select a specified instruction in disasm file, next "ASM" checks wi… 41 ASM/ASM_NEXT/ASM_NOT/ASM_NEXT_NOT (inst: pattern) same as other similar checks, but search on… 42 If none of these checks were specified, then search will be applied in the whole disasm file.
/arkcompiler/runtime_core/static_core/plugins/ets/doc/interop-cookbook/
D	draft.txt	`14 No any compile time checks, only runtime checks. 32 Loosing compile-time checks in certain cases (let x: string \| number = jsfoo()); 33 Union type checks currently not expressible in ArkTS;`
/arkcompiler/runtime_core/compiler/tests/
D	ir_builder_test.cpp	780 // Checks if not dominate inputs are removed from SaveStateInst 835 // Checks the build of the mov instruction with integer parameters 843 // Checks the build of the mov instruction with real parameters 851 // Checks the build of the mov.64 instruction with integer parameters 859 // Checks the build of the mov.64 instruction with real parameters 867 // Checks the build of the mov.obj instruction 875 // Checks the build of the mov.null instruction 900 // Checks the build of the movi instruction with integer parameters 908 // Checks the build of the fmovi instruction with real parameters 916 // Checks the build of the movi.64 instruction with integer parameters [all …]
/arkcompiler/runtime_core/static_core/compiler/tests/
D	ir_builder_test.cpp	802 // Checks if not dominate inputs are removed from SaveStateInst 857 // Checks the build of the mov instruction with integer parameters 865 // Checks the build of the mov instruction with real parameters 873 // Checks the build of the mov.64 instruction with integer parameters 881 // Checks the build of the mov.64 instruction with real parameters 889 // Checks the build of the mov.obj instruction 897 // Checks the build of the mov.null instruction 922 // Checks the build of the movi instruction with integer parameters 930 // Checks the build of the fmovi instruction with real parameters 938 // Checks the build of the movi.64 instruction with integer parameters [all …]
/arkcompiler/runtime_core/static_core/tests/checked/
D	README.md	45 * METHOD (name: string) start check of specified method, all following checks that require spec… 55 * ASM_METHOD (name: string) select a specified method in disasm file, next "ASM" checks will b… 56 ASM_INST (inst: pattern) select a specified instruction in disasm file, next "ASM" checks wi… 57 ASM/ASM_NEXT/ASM_NOT/ASM_NEXT_NOT (inst: pattern) same as other similar checks, but search on… 58 If none of these checks were specified, then search will be applied in the whole disasm file.
/arkcompiler/runtime_core/static_core/libpandabase/tests/genmc/
D	condvar_test_3.cpp	`18 // The test checks the work of TimedWait-SignalOne 20 // Thread2 checks, that there is no race on g_shared, 22 // Thread1 also checks, that there is no race on g_shared.`
D	condvar_test_2.cpp	`18 // The test checks the work of Wait-SignalAll 21 // Thread2 checks, that there is no race on g_shared, 23 // Thread1 also checks, that there is no race on g_shared.`
D	common.h	`28 // The function checks if a data race may be present: 30 // and checks if the value is not changed`
D	condvar_test_1.cpp	`18 // The test checks the work of Wait-SignalOne 20 // Thread2 checks, that there is no race on g_shared, 22 // Thread1 also checks, that there is no race on g_shared.`
/arkcompiler/runtime_core/static_core/runtime/mem/gc/reference-processor/
D	reference_processor.h	`53 …* Predicate checks GC-specific conditions on this reference (i.e. if we need to skip this referenc… 61 …* Predicate checks if we should add this reference to the queue (e.g. don't process to many refs o… 75 …* Predicate checks if we should process all references at once (e.g. processing takes too much tim… 81 * Predicate checks which references should be processed`
/arkcompiler/ets_frontend/ets2panda/linter/test/rules/
D	rule146.ets.json	`24 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ… 34 …"rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-requ…`
/arkcompiler/runtime_core/static_core/libpandabase/tests/
D	futex_test.cpp	`116 // The test checks basic lock protection 136 // The test checks trylock operation 154 // The test checks work with multiple writers 173 // The test checks work with recursive futexes 194 // The test checks basic wait-notify actions 222 // The test checks basic timedwait-notify actions 236 // The test checks wait-notifyAll operations in case of multiple waiters`
/arkcompiler/runtime_core/arkplatform/hybrid/
D	sts_vm_interface.h	`64 * @param func: predicate that checks if XGC was interrupted or not 70 * @param func: predicate that checks if we need to leave barrier to continue marking 79 * @param func: predicate that checks if we need to leave barrier to continue marking`

12 3 4 5 6 7 8 9 10 >>...16