Searched refs:checker (Results 26 - 50 of 128) sorted by relevance

123456

/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Frontend/
H A DCheckerRegistry.cpp160 "A checker cannot strong and weak depend on the same checker!");
171 // Parse '-analyzer-checker' and '-analyzer-disable-checker' options from the
182 for (CheckerInfo &checker : CheckerForCmdLineArg) {
183 checker.State = Opt.second ? StateFromCmdLine::State_Enabled
223 // checker.
229 // Enable the checker.
250 // checker.
287 // Don't enable this checker i
[all...]
/netbsd-current/external/gpl3/gcc.old/dist/gcc/
H A Dipa-icf.h350 ipa_icf_gimple::func_checker *checker);
403 /* Function checker stores binding between functions. */
442 ipa_icf_gimple::func_checker *checker);
H A Dipa-icf.c1342 sem_function::init (ipa_icf_gimple::func_checker *checker) argument
1344 m_checker = checker;
1492 func_checker *checker)
1513 f->init (checker);
1882 func_checker *checker)
1889 v->init (checker);
1897 sem_variable::init (ipa_icf_gimple::func_checker *checker) argument
1909 checker->hash_operand (DECL_INITIAL (decl), hstate, 0);
2439 func_checker checker; local
2444 sem_function *f = sem_function::parse (cnode, &m_bmstack, &checker);
1491 parse(cgraph_node *node, bitmap_obstack *stack, func_checker *checker) argument
1881 parse(varpool_node *node, bitmap_obstack *stack, func_checker *checker) argument
2602 func_checker checker; local
[all...]
/netbsd-current/external/gpl3/gcc/dist/gcc/
H A Dipa-icf.h350 ipa_icf_gimple::func_checker *checker);
410 /* Function checker stores binding between functions. */
449 ipa_icf_gimple::func_checker *checker);
H A Dipa-icf.cc1347 sem_function::init (ipa_icf_gimple::func_checker *checker) argument
1349 m_checker = checker;
1512 func_checker *checker)
1533 f->init (checker);
1903 func_checker *checker)
1910 v->init (checker);
1918 sem_variable::init (ipa_icf_gimple::func_checker *checker) argument
1930 checker->hash_operand (DECL_INITIAL (decl), hstate, 0);
2494 func_checker checker; local
2499 sem_function *f = sem_function::parse (cnode, &m_bmstack, &checker);
1511 parse(cgraph_node *node, bitmap_obstack *stack, func_checker *checker) argument
1902 parse(varpool_node *node, bitmap_obstack *stack, func_checker *checker) argument
2685 func_checker checker; local
[all...]
/netbsd-current/external/bsd/kyua-cli/dist/utils/fs/
H A Dlua_module_test.cpp46 stack_balance_checker checker(state);
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DMallocChecker.cpp1 //=== MallocChecker.cpp - A malloc/free checker -------------------*- C++ -*--//
19 // Many other checkers interact very closely with this checker, in fact,
23 // It also has a boolean "Optimistic" checker option, which if set to true
24 // will cause the checker to model user defined memory management related
295 /// In pessimistic mode, the checker assumes that it does not know which
297 /// In optimistic mode, the checker assumes that all user-defined functions
551 /// registered as allocated by this checker. In the following case, \c ptr
577 /// registered as allocated by this checker. In the following case, \c ptr
655 /// not handled by this checker.
672 /// Tells if a given family/call/symbol is tracked by the current checker
3387 MallocChecker *checker = mgr.getChecker<MallocChecker>(); local
3394 auto *checker = mgr.registerChecker<MallocChecker>(); local
[all...]
H A DDynamicTypePropagation.cpp14 // This checker defines the rules for dynamic type gathering and propagation.
17 // This checker tries to find type errors that the compiler is not able to catch
110 /// This value is set to true, when the Generics checker is turned on.
632 // This checker detects the subtyping relationships using the assignment
634 // first. The checker treats every type as kindof type anyways: when the
1104 DynamicTypePropagation *checker = mgr.getChecker<DynamicTypePropagation>(); local
1105 checker->CheckGenerics = true;
1106 checker->GenericCheckName = mgr.getCurrentCheckerName();
H A DCheckSecuritySyntaxOnly.cpp1085 SecuritySyntaxChecker *checker = mgr.getChecker<SecuritySyntaxChecker>(); \
1086 checker->filter.check_##name = true; \
1087 checker->filter.checkName_##name = mgr.getCurrentCheckerName(); \
H A DCallAndMessageChecker.cpp9 // This defines CallAndMessageChecker, a builtin checker that checks for various
50 // These correspond with the checker options. Looking at other checkers such
53 // checker's name that can be safely disabled without disturbing the
55 // The reason behind having *checker options* rather then actual *checkers*
58 // is obviously not ideal, but changing checker name has the consequence of
77 // The original core.CallAndMessage checker name. This should rather be an
742 CallAndMessageChecker *checker = mgr.getChecker<CallAndMessageChecker>(); local
744 checker->OriginalName = mgr.getCurrentCheckerName();
747 checker->ChecksEnabled[CallAndMessageChecker::CK_##OPTION] = \
H A DPthreadLockChecker.cpp10 // * PthreadLockChecker, a simple lock -> unlock checker.
236 new BugType{CheckNames[CheckKind], "Double locking", "Lock checker"});
238 new BugType{CheckNames[CheckKind], "Double unlocking", "Lock checker"});
240 CheckNames[CheckKind], "Use destroyed lock", "Lock checker"});
242 CheckNames[CheckKind], "Init invalid lock", "Lock checker"});
244 "Lock order reversal", "Lock checker"});
260 // An additional umbrella check that all functions modeled by this checker
708 PthreadLockChecker *checker = mgr.getChecker<PthreadLockChecker>(); \
709 checker->ChecksEnabled[PthreadLockChecker::CK_##name] = true; \
710 checker
[all...]
H A DBasicObjCFoundationChecks.cpp43 APIMisuse(const CheckerBase *checker, const char *name) argument
44 : BugType(checker, name, "API Misuse (Apple)") {}
162 // within the same checker callback. For now we don't want to, but
1138 /// The checker restricts the return values of APIs known to
H A DLocalizationChecker.cpp10 // 1) A checker that warns about uses of non-localized NSStrings passed to
12 // 2) A syntactic checker that warns against the bad practice of
92 // When this parameter is set to true, the checker assumes all
1398 NonLocalizedStringChecker *checker =
1400 checker->IsAggressive =
1402 checker, "AggressiveReport");
H A DCStringChecker.cpp357 // These checks are either enabled by the CString out-of-bounds checker
358 // explicitly or implicitly by the Malloc checker.
1308 // First, get the two buffers' addresses. Another checker will have already
1972 // First, get the two buffers' addresses. Another checker will have already
2129 // These should probably be moved into a C++ standard library checker.
2300 // If the callee isn't a string function, let another checker handle it.
2452 CStringChecker *checker = mgr.getChecker<CStringChecker>(); \
2453 checker->Filter.Check##name = true; \
2454 checker->Filter.CheckName##name = mgr.getCurrentCheckerName(); \
H A DStdLibraryFunctionsChecker.cpp9 // This checker improves modeling of a few simple library functions.
11 // This checker provides a specification format - `Summary' - and
32 // This checker uses eval::Call for modeling pure functions (functions without
36 // never want to improve upon the modeling done by this checker.
544 // The map of all functions supported by the checker. It is initialized
879 // evaluated by another checker, or evaluated conservatively.
2662 StdLibraryFunctionsChecker *checker = \
2664 checker->ChecksEnabled[StdLibraryFunctionsChecker::CK_##name] = true; \
2665 checker->CheckNames[StdLibraryFunctionsChecker::CK_##name] = \
/netbsd-current/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dprogram-state.cc71 pp_printf (pp, "extrinsic_state: %i checker(s)\n", get_num_checkers ());
73 state_machine *checker; local
74 FOR_EACH_VEC_ELT (m_checkers, i, checker)
76 pp_printf (pp, "m_checkers[%i]: %qs\n", i, checker->get_name ());
77 checker->dump_to_pp (pp);
412 logger->log ("function %qE is unknown to checker %qs",
415 logger->log ("unknown function pointer for checker %qs",
683 All parts of the program_state (region model, checker states) must
/netbsd-current/crypto/external/bsd/openssl/dist/providers/implementations/encode_decode/
H A Dencode_key2any.c1048 check_key_type_fn *checker,
1059 && (checker == NULL || checker(key, type))) {
1046 key2any_encode(struct key2any_ctx_st *ctx, OSSL_CORE_BIO *cout, const void *key, int type, const char *pemname, check_key_type_fn *checker, key_to_der_fn *writer, OSSL_PASSPHRASE_CALLBACK *pwcb, void *pwcbarg, key_to_paramstring_fn *key2paramstring, i2d_of_void *key2der) argument
/netbsd-current/external/gpl3/gcc/dist/gcc/analyzer/
H A Dprogram-state.cc72 pp_printf (pp, "extrinsic_state: %i checker(s)\n", get_num_checkers ());
74 state_machine *checker; local
75 FOR_EACH_VEC_ELT (m_checkers, i, checker)
77 pp_printf (pp, "m_checkers[%i]: %qs\n", i, checker->get_name ());
78 checker->dump_to_pp (pp);
821 All parts of the program_state (region model, checker states) must
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp94 for (const auto &checker : *checkers)
95 checker(D, mgr, BR);
447 // Note, We do not chain the checker output (like in expandGraphWithCheckers)
454 // We define the builder outside of the loop because if at least one checker
606 // If any checker declares the state infeasible (or if it starts that way),
628 // If any checker declares the state infeasible (or if it starts that
642 // If any checker declares the state infeasible (or if it starts that way),
652 /// Only one checker will evaluate the call.
684 break; // on release don't check that no other checker also evals.
730 // See whether the current checker ha
[all...]
/netbsd-current/external/gpl3/gcc.old/dist/gcc/fortran/
H A Dexpr.c3323 check_arglist (gfc_actual_arglist* arg, bool (*checker) (gfc_expr*))
3326 if (!checker (arg->expr))
3337 check_references (gfc_ref* ref, bool (*checker) (gfc_expr*))
3349 if (!checker (ref->u.ar.start[dim]))
3351 if (!checker (ref->u.ar.end[dim]))
3353 if (!checker (ref->u.ar.stride[dim]))
3363 if (!checker (ref->u.ss.start))
3365 if (!checker (ref->u.ss.end))
3374 return check_references (ref->next, checker);
/netbsd-current/external/gpl3/gcc/dist/gcc/fortran/
H A Dexpr.cc3355 check_arglist (gfc_actual_arglist* arg, bool (*checker) (gfc_expr*))
3358 if (!checker (arg->expr))
3369 check_references (gfc_ref* ref, bool (*checker) (gfc_expr*))
3381 if (!checker (ref->u.ar.start[dim]))
3383 if (!checker (ref->u.ar.end[dim]))
3385 if (!checker (ref->u.ar.stride[dim]))
3395 if (!checker (ref->u.ss.start))
3397 if (!checker (ref->u.ss.end))
3406 return check_references (ref->next, checker);
/netbsd-current/crypto/external/bsd/openssl/dist/test/
H A Dendecode_test.c142 typedef int (checker)(const char *file, const int line, typedef
155 tester *test_cb, checker *check_cb,
/netbsd-current/crypto/external/bsd/openssl.old/dist/
H A DConfigure1218 foreach my $checker (($builder_platform."-".$config{build_file}."-checker.pm",
1219 $builder_platform."-checker.pm")) {
1220 my $checker_path = catfile($srcdir, "Configurations", $checker);
/netbsd-current/crypto/external/bsd/openssl/dist/
H A DConfigure1398 foreach my $checker (($builder_platform."-".$config{build_file}."-checker.pm",
1399 $builder_platform."-checker.pm")) {
1400 my $checker_path = catfile($srcdir, "Configurations", $checker);
/netbsd-current/external/gpl3/gcc.old/usr.bin/gcc/arch/i386/
H A Ddefs.mk26 G_OBJS=gimple-match.o generic-match.o insn-attrtab.o insn-automata.o insn-dfatab.o insn-emit.o insn-extract.o insn-latencytab.o insn-modes.o insn-opinit.o insn-output.o insn-peep.o insn-preds.o insn-recog.o insn-enums.o ggc-page.o alias.o alloc-pool.o auto-inc-dec.o auto-profile.o bb-reorder.o bitmap.o builtins.o caller-save.o calls.o ccmp.o cfg.o cfganal.o cfgbuild.o cfgcleanup.o cfgexpand.o cfghooks.o cfgloop.o cfgloopanal.o cfgloopmanip.o cfgrtl.o symtab.o cgraph.o cgraphbuild.o cgraphunit.o cgraphclones.o combine.o combine-stack-adj.o compare-elim.o context.o convert.o coroutine-passes.o coverage.o cppbuiltin.o cppdefault.o cprop.o cse.o cselib.o data-streamer.o data-streamer-in.o data-streamer-out.o dbxout.o dbgcnt.o dce.o ddg.o debug.o df-core.o df-problems.o df-scan.o dfp.o digraph.o dojump.o dominance.o domwalk.o double-int.o dse.o dumpfile.o dwarf2asm.o dwarf2cfi.o dwarf2out.o early-remat.o emit-rtl.o et-forest.o except.o explow.o expmed.o expr.o fibonacci_heap.o file-prefix-map.o final.o fixed-value.o fold-const.o fold-const-call.o function.o function-abi.o function-tests.o fwprop.o gcc-rich-location.o gcse.o gcse-common.o ggc-common.o ggc-tests.o gimple.o gimple-builder.o gimple-expr.o gimple-iterator.o gimple-fold.o gimple-laddress.o gimple-loop-interchange.o gimple-loop-jam.o gimple-loop-versioning.o gimple-low.o gimple-pretty-print.o gimple-ssa-backprop.o gimple-ssa-evrp.o gimple-ssa-evrp-analyze.o gimple-ssa-isolate-paths.o gimple-ssa-nonnull-compare.o gimple-ssa-split-paths.o gimple-ssa-store-merging.o gimple-ssa-strength-reduction.o gimple-ssa-sprintf.o gimple-ssa-warn-alloca.o gimple-ssa-warn-restrict.o gimple-streamer-in.o gimple-streamer-out.o gimple-walk.o gimplify.o gimplify-me.o godump.o graph.o graphds.o graphviz.o graphite.o graphite-isl-ast-to-gimple.o graphite-dependences.o graphite-optimize-isl.o graphite-poly.o graphite-scop-detection.o graphite-sese-to-poly.o gtype-desc.o haifa-sched.o hash-map-tests.o hash-set-tests.o hsa-common.o hsa-gen.o hsa-regalloc.o hsa-brig.o hsa-dump.o hw-doloop.o hwint.o ifcvt.o ree.o inchash.o incpath.o init-regs.o internal-fn.o ipa-cp.o ipa-sra.o ipa-devirt.o ipa-fnsummary.o ipa-polymorphic-call.o ipa-split.o ipa-inline.o ipa-comdats.o ipa-visibility.o ipa-inline-analysis.o ipa-inline-transform.o ipa-predicate.o ipa-profile.o ipa-prop.o ipa-param-manipulation.o ipa-pure-const.o ipa-icf.o ipa-icf-gimple.o ipa-reference.o ipa-hsa.o ipa-ref.o ipa-utils.o ipa.o ira.o ira-build.o ira-costs.o ira-conflicts.o ira-color.o ira-emit.o ira-lives.o jump.o langhooks.o lcm.o lists.o loop-doloop.o loop-init.o loop-invariant.o loop-iv.o loop-unroll.o lower-subreg.o lra.o lra-assigns.o lra-coalesce.o lra-constraints.o lra-eliminations.o lra-lives.o lra-remat.o lra-spills.o lto-cgraph.o lto-streamer.o lto-streamer-in.o lto-streamer-out.o lto-section-in.o lto-section-out.o lto-opts.o lto-compress.o mcf.o mode-switching.o modulo-sched.o multiple_target.o omp-offload.o omp-expand.o omp-general.o omp-grid.o omp-low.o omp-simd-clone.o opt-problem.o optabs.o optabs-libfuncs.o optabs-query.o optabs-tree.o optinfo.o optinfo-emit-json.o options-save.o opts-global.o ordered-hash-map-tests.o passes.o plugin.o postreload-gcse.o postreload.o predict.o print-rtl.o print-rtl-function.o print-tree.o profile.o profile-count.o range.o range-op.o read-md.o read-rtl.o read-rtl-function.o real.o realmpfr.o recog.o reg-stack.o regcprop.o reginfo.o regrename.o regstat.o regsub.o reload.o reload1.o reorg.o resource.o rtl-error.o rtl-tests.o rtl.o rtlhash.o rtlanal.o rtlhooks.o rtx-vector-builder.o run-rtl-passes.o sched-deps.o sched-ebb.o sched-rgn.o sel-sched-ir.o sel-sched-dump.o sel-sched.o selftest-rtl.o selftest-run-tests.o sese.o shrink-wrap.o simplify-rtx.o sparseset.o spellcheck.o spellcheck-tree.o sreal.o stack-ptr-mod.o statistics.o stmt.o stor-layout.o store-motion.o streamer-hooks.o stringpool.o substring-locations.o target-globals.o targhooks.o timevar.o toplev.o tracer.o trans-mem.o tree-affine.o asan.o tsan.o ubsan.o sanopt.o sancov.o tree-call-cdce.o tree-cfg.o tree-cfgcleanup.o tree-chrec.o tree-complex.o tree-data-ref.o tree-dfa.o tree-diagnostic.o tree-diagnostic-path.o tree-dump.o tree-eh.o tree-emutls.o tree-if-conv.o tree-inline.o tree-into-ssa.o tree-iterator.o tree-loop-distribution.o tree-nested.o tree-nrv.o tree-object-size.o tree-outof-ssa.o tree-parloops.o tree-phinodes.o tree-predcom.o tree-pretty-print.o tree-profile.o tree-scalar-evolution.o tree-sra.o tree-switch-conversion.o tree-ssa-address.o tree-ssa-alias.o tree-ssa-ccp.o tree-ssa-coalesce.o tree-ssa-copy.o tree-ssa-dce.o tree-ssa-dom.o tree-ssa-dse.o tree-ssa-forwprop.o tree-ssa-ifcombine.o tree-ssa-live.o tree-ssa-loop-ch.o tree-ssa-loop-im.o tree-ssa-loop-ivcanon.o tree-ssa-loop-ivopts.o tree-ssa-loop-manip.o tree-ssa-loop-niter.o tree-ssa-loop-prefetch.o tree-ssa-loop-split.o tree-ssa-loop-unswitch.o tree-ssa-loop.o tree-ssa-math-opts.o tree-ssa-operands.o tree-ssa-phiopt.o tree-ssa-phiprop.o tree-ssa-pre.o tree-ssa-propagate.o tree-ssa-reassoc.o tree-ssa-sccvn.o tree-ssa-scopedtables.o tree-ssa-sink.o tree-ssa-strlen.o tree-ssa-structalias.o tree-ssa-tail-merge.o tree-ssa-ter.o tree-ssa-threadbackward.o tree-ssa-threadedge.o tree-ssa-threadupdate.o tree-ssa-uncprop.o tree-ssa-uninit.o tree-ssa.o tree-ssanames.o tree-stdarg.o tree-streamer.o tree-streamer-in.o tree-streamer-out.o tree-tailcall.o tree-vect-generic.o tree-vect-patterns.o tree-vect-data-refs.o tree-vect-stmts.o tree-vect-loop.o tree-vect-loop-manip.o tree-vect-slp.o tree-vectorizer.o tree-vector-builder.o tree-vrp.o tree.o tristate.o typed-splay-tree.o unique-ptr-tests.o valtrack.o value-range.o value-prof.o var-tracking.o varasm.o varpool.o vec-perm-indices.o vmsdbgout.o vr-values.o vtable-verify.o web.o wide-int.o wide-int-print.o xcoffout.o i386.o analyzer/analysis-plan.o analyzer/analyzer.o analyzer/analyzer-logging.o analyzer/analyzer-pass.o analyzer/analyzer-selftests.o analyzer/bar-chart.o analyzer/call-string.o analyzer/checker-path.o analyzer/constraint-manager.o analyzer/diagnostic-manager.o analyzer/engine.o analyzer/function-set.o analyzer/pending-diagnostic.o analyzer/program-point.o analyzer/program-state.o analyzer/region-model.o analyzer/sm.o analyzer/sm-file.o analyzer/sm-malloc.o analyzer/sm-pattern-test.o analyzer/sm-sensitive.o analyzer/sm-signal.o analyzer/sm-taint.o analyzer/state-purge.o analyzer/supergraph.o x86-tune-sched.o x86-tune-sched-bd.o x86-tune-sched-atom.o x86-tune-sched-core.o i386-options.o i386-builtins.o i386-expand.o i386-features.o netbsd.o host-netbsd.o

Completed in 444 milliseconds

123456