Google Git
Sign in
llvm / llvm-project / refs/tags/llvmorg-13.0.0-rc3 / . / clang / test / Analysis
tree: 11e3f43d20691d99a0e1a9d6c9e7e411f3952091 [path history] [tgz]
  1. cert/
  2. Checkers/
  3. copypaste/
  4. diagnostics/
  5. engine/
  6. exploded-graph-rewriter/
  7. exploration_order/
  8. html_diagnostics/
  9. inlining/
  10. Inputs/
  11. objc/
  12. scan-build/
  13. unified-sources/
  14. z3/
  15. _Bool-increment-decrement.c
  16. a_flaky_crash.cpp
  17. additive-folding-range-constraints.c
  18. additive-folding.cpp
  19. aggrinit-cfg-output.cpp
  20. analyzeOneFunction.m
  21. analyzer-checker-config.c
  22. analyzer-checker-option-help.c
  23. analyzer-config.c
  24. analyzer-display-progress.cpp
  25. analyzer-display-progress.m
  26. analyzer-enabled-checkers.c
  27. analyzer-list-configs.c
  28. analyzer-stats.c
  29. analyzer_test.py
  30. arc-zero-init.m
  31. array-struct-region.c
  32. array-struct-region.cpp
  33. array-struct.c
  34. asm-goto.cpp
  35. asm.cpp
  36. atomics.c
  37. auto-obj-dtors-cfg-output.cpp
  38. autoreleasewritechecker_test.m
  39. base-init.cpp
  40. bitwise-ops.c
  41. block-in-critical-section.cpp
  42. block-in-critical-section.m
  43. blocks-no-inline.c
  44. blocks.m
  45. blocks.mm
  46. bool-assignment.c
  47. bool-increment.cpp
  48. bsd-string.c
  49. bstring.c
  50. bstring.cpp
  51. bug_hash_test.cpp
  52. bug_hash_test.m
  53. builtin-functions.cpp
  54. builtin_bitcast.cpp
  55. builtin_signbit.cpp
  56. c11lock.c
  57. call-and-message.c
  58. call-and-message.cpp
  59. call-and-message.m
  60. call-and-message.mm
  61. call-invalidation.cpp
  62. call_once.cpp
  63. cast-to-struct.cpp
  64. cast-value-logic.cpp
  65. cast-value-notes.cpp
  66. cast-value-state-dump.cpp
  67. cast-value-weird.cpp
  68. castexpr-callback.c
  69. casts.c
  70. casts.cpp
  71. casts.m
  72. CFContainers-invalid.c
  73. CFContainers.mm
  74. cfg-indirect-goto-determinism.cpp
  75. cfg-openmp.cpp
  76. cfg-rich-constructors.cpp
  77. cfg-rich-constructors.mm
  78. cfg.c
  79. cfg.cpp
  80. CFNumber.c
  81. cfref_PR2519.c
  82. cfref_rdar6080742.c
  83. CFRetainRelease_NSAssertionHandler.m
  84. CGColorSpace.c
  85. check-analyzer-fixit.py
  86. check-deserialization.cpp
  87. checker-dependencies.c
  88. checker-plugins.c
  89. CheckNSError.m
  90. CheckThatArraySubsciptNodeIsNotCollected.cpp
  91. chroot.c
  92. class-object-state-dump.m
  93. comparison-implicit-casts.cpp
  94. complex-init-list.cpp
  95. complex.c
  96. compound-literals.c
  97. concrete-address.c
  98. conditional-operator.cpp
  99. conditional-path-notes.c
  100. const-method-call.cpp
  101. constant-folding.c
  102. constraint_manager_conditions.cpp
  103. constraint_manager_negate_difference.c
  104. container-modeling-no-aggressive-binary-operation-simplification-warn.cpp
  105. container-modeling.cpp
  106. conversion.c
  107. copy-elision.cpp
  108. copy-elision.mm
  109. coverage.c
  110. crash-trace.c
  111. cstring-plist.c
  112. cstring-ranges.c
  113. cstring-syntax-cxx.cpp
  114. cstring-syntax-weird.c
  115. cstring-syntax-weird2.c
  116. cstring-syntax.c
  117. ctor.mm
  118. ctu-different-triples.cpp
  119. ctu-hdr.h
  120. ctu-implicit.c
  121. ctu-import-threshold.c
  122. ctu-inherited-default-ctor.cpp
  123. ctu-main.c
  124. ctu-main.cpp
  125. ctu-on-demand-parsing.c
  126. ctu-on-demand-parsing.cpp
  127. ctu-unknown-parts-in-triples.cpp
  128. cxx-callgraph.cpp
  129. cxx-crashes.cpp
  130. cxx-dynamic-memory-analysis-order.cpp
  131. cxx-for-range-cfg.cpp
  132. cxx-for-range.cpp
  133. cxx-inherited-ctor-init-expr.cpp
  134. cxx-inherited-ctor-is-skipped-as-top-level.cpp
  135. cxx-method-names.cpp
  136. cxx-uninitialized-object-inheritance.cpp
  137. cxx-uninitialized-object-no-dereference.cpp
  138. cxx-uninitialized-object-notes-as-warnings.cpp
  139. cxx-uninitialized-object-ptr-ref.cpp
  140. cxx-uninitialized-object-unguarded-access.cpp
  141. cxx-uninitialized-object-unionlike-constructs.cpp
  142. cxx-uninitialized-object.cpp
  143. cxx11-crashes.cpp
  144. cxxctr-evalcall-analysis-order.cpp
  145. cxxnewexpr-callback-inline.cpp
  146. cxxnewexpr-callback-noinline.cpp
  147. dead-stores.c
  148. dead-stores.cpp
  149. dead-stores.m
  150. deadstores-driverkit.cpp
  151. DeallocMissingRelease.m
  152. DeallocUseAfterFreeErrors.m
  153. debug-CallGraph.cpp
  154. debug-container-modeling.cpp
  155. debug-exprinspection-istainted.c
  156. debug-iterator-modeling.cpp
  157. default-analyze.m
  158. default-diagnostic-visitors.c
  159. delayed-template-parsing-crash.cpp
  160. delegates.m
  161. DeleteWithNonVirtualDtor.cpp
  162. derived-to-base.cpp
  163. designated-initializer-values.c
  164. designated-initializer.c
  165. disable-all-checks.c
  166. dispatch-once.m
  167. div-zero.cpp
  168. division-by-zero-track-zero.c
  169. division-by-zero-track-zero.cpp
  170. division-by-zero.c
  171. domtest.c
  172. domtest.cpp
  173. double-ranges-bug.c
  174. dtor-cxx11.cpp
  175. dtor.cpp
  176. dtors-in-dtor-cfg-output.cpp
  177. dump_egraph.c
  178. dump_egraph.cpp
  179. dynamic-cast.cpp
  180. dynamic_type_check.m
  181. DynamicTypePropagation.m
  182. edges-new.mm
  183. egraph-asm-goto-no-crash.cpp
  184. elementtype.c
  185. end-function-return-stmt.cpp
  186. enum-cast-out-of-range.c
  187. enum-cast-out-of-range.cpp
  188. enum.cpp
  189. equality_tracking.c
  190. eval-predefined-exprs.cpp
  191. exceptions.mm
  192. exercise-ps.c
  193. explain-svals.c
  194. explain-svals.cpp
  195. explain-svals.m
  196. expr-inspection-printState-diseq-info.c
  197. expr-inspection-printState-eq-classes.c
  198. expr-inspection.c
  199. expr-inspection.cpp
  200. fields.c
  201. find-binop-constraints.cpp
  202. free.c
  203. free.cpp
  204. fuchsia_handle.cpp
  205. fuchsia_lock.c
  206. fuchsia_lock_impl.c
  207. func-mapping-test.cpp
  208. func.c
  209. gcdantipatternchecker_test.m
  210. generics.m
  211. global-region-invalidation.c
  212. global_region_invalidation.mm
  213. globals.cpp
  214. gmalloc.c
  215. gtest.cpp
  216. handle_constructors_for_default_arguments.cpp
  217. handle_constructors_with_new_array.cpp
  218. hangs.c
  219. html-diag-singlefile.c
  220. html-diag-singlefile.h
  221. html-diags-analyze-headers.c
  222. html-diags-analyze-headers.h
  223. html-diags-multifile.c
  224. html-diags-multifile.h
  225. html-diags.c
  226. identical-expressions.cpp
  227. implicit-ctor-undef-value.cpp
  228. incorrect-checker-names.cpp
  229. incorrect-checker-names.mm
  230. index-type.c
  231. initialization.c
  232. initialization.cpp
  233. initializer.cpp
  234. initializers-cfg-output.cpp
  235. inline-if-constexpr.cpp
  236. inline-not-supported.c
  237. inline-plist.c
  238. inline-unique-reports.c
  239. inline.c
  240. inline.cpp
  241. inline2.c
  242. inline3.c
  243. inline4.c
  244. inner-pointer.cpp
  245. invalid-a-na-ly-zer-con-fig-value.c
  246. invalid-analyzer-config-value.c
  247. invalid-checker-option.c
  248. invalid-deref.c
  249. invalidated-iterator.cpp
  250. iterator-modeling-no-aggressive-binary-operation-simplification-no-crash.cpp
  251. iterator-modeling.cpp
  252. iterator-range.cpp
  253. ivars.m
  254. keychainAPI-diagnostic-visitor.m
  255. keychainAPI.m
  256. kmalloc-linux.c
  257. lambda-notes.cpp
  258. lambdas-generalized-capture.cpp
  259. lambdas.cpp
  260. lambdas.mm
  261. left-shift-cxx2a.cpp
  262. lifetime-cfg-output.cpp
  263. lifetime-extension.cpp
  264. lifetime-extension.mm
  265. lit.local.cfg
  266. live-bindings-test.cpp
  267. live-stmts.cpp
  268. live-stmts.mm
  269. live-variables.cpp
  270. live-variables.m
  271. llvm-conventions.cpp
  272. localization-aggressive.m
  273. localization.m
  274. logical-ops.c
  275. loop-block-counts.c
  276. loop-unrolling.cpp
  277. loop-widening-ignore-static-methods.cpp
  278. loop-widening-notes.cpp
  279. loop-widening-preserve-reference-type.cpp
  280. loop-widening.c
  281. loop-widening.cpp
  282. loopexit-cfg-output.cpp
  283. lvalue.cpp
  284. main.c
  285. main.cpp
  286. Malloc+MismatchedDeallocator+NewDelete.cpp
  287. Malloc+MismatchedDeallocator_intersections.cpp
  288. malloc-annotations.c
  289. malloc-annotations.cpp
  290. malloc-custom.c
  291. malloc-fnptr-plist.c
  292. malloc-free-after-return.cpp
  293. malloc-interprocedural.c
  294. malloc-overflow.c
  295. malloc-overflow.cpp
  296. malloc-overflow2.c
  297. malloc-plist.c
  298. malloc-protoype.c
  299. malloc-sizeof.c
  300. malloc-sizeof.cpp
  301. malloc-three-arg.c
  302. malloc.c
  303. malloc.cpp
  304. malloc.m
  305. malloc.mm
  306. max-nodes-suppress-on-sink.c
  307. max-nodes-suppress-on-sink.cpp
  308. member-expr.cpp
  309. memory-model.cpp
  310. MemRegion.cpp
  311. method-arg-decay.m
  312. method-call-intra-p.cpp
  313. method-call-path-notes.cpp
  314. method-call.cpp
  315. mig.mm
  316. misc-ps-64.m
  317. misc-ps-arm.m
  318. misc-ps-cxx0x.cpp
  319. misc-ps-eager-assume.m
  320. misc-ps-ranges.m
  321. misc-ps-region-store-i386.m
  322. misc-ps-region-store-x86_64.m
  323. misc-ps-region-store.cpp
  324. misc-ps-region-store.m
  325. misc-ps-region-store.mm
  326. misc-ps.c
  327. misc-ps.m
  328. mismatched-iterator.cpp
  329. MismatchedDeallocator-checker-test.mm
  330. MismatchedDeallocator-path-notes.cpp
  331. missing-bind-temporary.cpp
  332. MissingDealloc.m
  333. mmap-writeexec.c
  334. model-file.cpp
  335. more-dtors-cfg-output.cpp
  336. mpichecker.cpp
  337. mpicheckernotes.cpp
  338. MPIMock.h
  339. ms-seh.cpp
  340. mutually_exclusive_null_fp.cpp
  341. new-aligned.cpp
  342. new-ctor-conservative.cpp
  343. new-ctor-inlined.cpp
  344. new-ctor-malloc.cpp
  345. new-ctor-null-throw.cpp
  346. new-ctor-null.cpp
  347. new-ctor-recursive.cpp
  348. new-ctor-symbolic.cpp
  349. new-dynamic-types.cpp
  350. new-with-exceptions.cpp
  351. new.cpp
  352. NewDelete+MismatchedDeallocator_intersections.cpp
  353. NewDelete-atomics.cpp
  354. NewDelete-checker-test.cpp
  355. NewDelete-custom.cpp
  356. NewDelete-intersections.mm
  357. NewDelete-path-notes.cpp
  358. NewDelete-sized-deallocation.cpp
  359. NewDelete-variadic.cpp
  360. NewDeleteLeaks-PR18394.cpp
  361. NewDeleteLeaks-PR19102.cpp
  362. nil-receiver-undefined-larger-than-voidptr-ret-region.m
  363. nil-receiver-undefined-larger-than-voidptr-ret.m
  364. nil-receiver.mm
  365. no-exit-cfg.c
  366. no-outofbounds.c
  367. no-store-suppression.cpp
  368. no-unreachable-dtors.cpp
  369. non-diagnosable-assumptions.c
  370. nonnull-global-constants.mm
  371. nonnull.cpp
  372. nonnull.m
  373. nonnullparamchecker-crash.cpp
  374. NoReturn.m
  375. novoidtypecrash.c
  376. NSContainers.m
  377. NSPanel.m
  378. NSString.m
  379. NSWindow.m
  380. null-deref-offsets.c
  381. null-deref-path-notes.c
  382. null-deref-path-notes.cpp
  383. null-deref-path-notes.m
  384. null-deref-ps-region.c
  385. null-deref-ps.c
  386. null-deref-static.m
  387. nullability-arc.mm
  388. nullability-no-arc.mm
  389. nullability-notes.m
  390. nullability.c
  391. nullability.m
  392. nullability.mm
  393. nullability_nullonly.mm
  394. nullptr.cpp
  395. number-object-conversion.c
  396. number-object-conversion.cpp
  397. number-object-conversion.m
  398. number-object-conversion.mm
  399. objc-arc.m
  400. objc-bool.m
  401. objc-boxing.m
  402. objc-encode.m
  403. objc-for.m
  404. objc-indirect-copy-restore.m
  405. objc-live-crash.mm
  406. objc-message.m
  407. objc-method-coverage.m
  408. objc-properties.m
  409. objc-radar17039661.m
  410. objc-string.mm
  411. objc-subscript.m
  412. objc_invalidation.m
  413. objcpp-uninitialized-object.mm
  414. ObjCProperties.m
  415. ObjCPropertiesSyntaxChecks.m
  416. ObjCRetSigs.m
  417. offsetofexpr-callback.c
  418. openmp-unsupported.c
  419. operator-calls.cpp
  420. os_object_base.h
  421. os_smart_ptr.h
  422. OSAtomic_mac.c
  423. OSAtomic_mac.cpp
  424. osobject-retain-release.cpp
  425. osobjectcstylecastchecker_test.cpp
  426. out-of-bounds-false-positive.c
  427. out-of-bounds-new.cpp
  428. out-of-bounds.c
  429. outofbound-notwork.c
  430. outofbound.c
  431. override-werror.c
  432. padding_c.c
  433. padding_cpp.cpp
  434. padding_inherit.cpp
  435. padding_message.cpp
  436. padding_no_unique_address.cpp
  437. pch_crash.cpp
  438. placement-new-user-defined.cpp
  439. placement-new.cpp
  440. plist-diagnostics-template-function.cpp
  441. plist-diagnostics-template-record.cpp
  442. plist-html-macros.c
  443. plist-macros-with-expansion-ctu.c
  444. plist-macros-with-expansion.c
  445. plist-macros-with-expansion.cpp
  446. plist-macros.cpp
  447. plist-output-alternate.m
  448. plist-output.m
  449. plist-stats-output.c
  450. pointer-arithmetic.c
  451. pointer-escape-on-conservative-calls.c
  452. pointer-to-member.cpp
  453. PR12905.c
  454. pr22954.c
  455. PR24184.cpp
  456. PR2978.m
  457. PR35418.cpp
  458. pr37802.cpp
  459. PR37855.c
  460. PR38208.c
  461. PR3991.m
  462. PR40625.cpp
  463. pr4209.m
  464. PR46264.cpp
  465. PR47511.cpp
  466. PR49490.cpp
  467. PR49642.c
  468. PR50268.c
  469. PR7218.c
  470. PR9741.cpp
  471. pr_2542_rdar_6793404.m
  472. pr_4164.c
  473. preprocessor-setup.c
  474. properties.m
  475. properties.mm
  476. pthreadlock.c
  477. pthreadlock_state.c
  478. pthreadlock_state_nottracked.c
  479. ptr-arith.c
  480. ptr-arith.cpp
  481. ptr-cmp-const-trunc.cl
  482. ptr-iter.cpp
  483. ptr-sort.cpp
  484. qt_malloc.cpp
  485. range_casts.c
  486. rdar-6442306-1.m
  487. rdar-6540084.m
  488. rdar-6541136-region.c
  489. rdar-6562655.m
  490. rdar-6600344-nil-receiver-undefined-struct-ret.m
  491. rdar-7168531.m
  492. redecl.c
  493. redefined_system.c
  494. refcnt_naming.m
  495. reference.cpp
  496. region-1.m
  497. region-store.c
  498. region-store.cpp
  499. region_store_overflow.c
  500. reinterpret-cast-pointer-to-member.cpp
  501. reinterpret-cast.cpp
  502. report-uniqueing.cpp
  503. retain-count-alloc.cpp
  504. retain-release-arc.m
  505. retain-release-cache-out.m
  506. retain-release-cf-audited.m
  507. retain-release-compound-literal.m
  508. retain-release-cpp-classes.cpp
  509. retain-release-inline.m
  510. retain-release-path-notes.m
  511. retain-release-region-store.m
  512. retain-release-safe.c
  513. retain-release.m
  514. retain-release.mm
  515. retaincountchecker-compoundregion.m
  516. return-ptr-range.cpp
  517. return-stmt-merge.cpp
  518. return-value-guaranteed.cpp
  519. rvo.cpp
  520. scopes-cfg-output.cpp
  521. security-syntax-checks-no-emit.c
  522. security-syntax-checks-nscoder.m
  523. security-syntax-checks.c
  524. security-syntax-checks.m
  525. self-assign.cpp
  526. self-init.m
  527. shallow-mode.m
  528. show-checker-list.c
  529. silence-checkers-and-packages-core-all.cpp
  530. silence-checkers-and-packages-core-div-by-zero.cpp
  531. silence-checkers.cpp
  532. simple-stream-checks.c
  533. sizeofpack.cpp
  534. sizeofpointer.c
  535. smart-ptr-text-output.cpp
  536. smart-ptr.cpp
  537. solver-sym-simplification-no-crash.c
  538. solver-sym-simplification-no-crash2.c
  539. solver-sym-simplification-ptr-bool.cl
  540. solver-sym-simplification-with-proper-range-type.c
  541. SpecialFunctionsCFError.cpp
  542. stack-addr-ps.c
  543. stack-addr-ps.cpp
  544. stack-block-returned.cpp
  545. stack-capture-leak-arc.mm
  546. stack-capture-leak-no-arc.mm
  547. stack-frame-context-revision.cpp
  548. stackaddrleak.c
  549. static_local.m
  550. stats.c
  551. std-c-library-functions-arg-constraints-notes.cpp
  552. std-c-library-functions-arg-constraints-tracking-notes.c
  553. std-c-library-functions-arg-constraints.c
  554. std-c-library-functions-arg-constraints.cpp
  555. std-c-library-functions-arg-cstring-dependency.c
  556. std-c-library-functions-arg-enabled-checkers.c
  557. std-c-library-functions-arg-weakdeps.c
  558. std-c-library-functions-eof.c
  559. std-c-library-functions-inlined.c
  560. std-c-library-functions-lookup.c
  561. std-c-library-functions-lookup.cpp
  562. std-c-library-functions-POSIX-lookup.c
  563. std-c-library-functions-POSIX-socket-sockaddr.cpp
  564. std-c-library-functions-POSIX.c
  565. std-c-library-functions-restrict.c
  566. std-c-library-functions-restrict.cpp
  567. std-c-library-functions-vs-stream-checker.c
  568. std-c-library-functions.c
  569. std-c-library-functions.cpp
  570. std-c-library-posix-crash.c
  571. stl-algorithm-modeling-aggressive-std-find-modeling.cpp
  572. stl-algorithm-modeling.cpp
  573. stream-error.c
  574. stream-note.c
  575. stream.c
  576. stream.cpp
  577. string-fail.c
  578. string-with-signedness.c
  579. string.c
  580. string.cpp
  581. structured_bindings.cpp
  582. superclass.m
  583. sval-dump-int128.c
  584. svalbuilder-float-cast.c
  585. svalbuilder-logic.c
  586. svalbuilder-rearrange-comparisons.c
  587. switch-case.c
  588. symbol-escape.cpp
  589. symbol-reaper.c
  590. symbol-reaper.cpp
  591. taint-diagnostic-visitor.c
  592. taint-dumps.c
  593. taint-generic.c
  594. taint-generic.cpp
  595. taint-tester.c
  596. taint-tester.cpp
  597. taint-tester.m
  598. temp-obj-dtors-cfg-output.cpp
  599. temp-obj-dtors-option.cpp
  600. templates.cpp
  601. temporaries-callback-order.cpp
  602. temporaries.cpp
  603. temporaries.mm
  604. test-after-div-zero.c
  605. test-include-cpp.cpp
  606. test-include-cpp.h
  607. test-include.c
  608. test-include.h
  609. test-objc-non-nil-return-value-checker.m
  610. test-separate-retaincount.cpp
  611. test-variably-modified-types.c
  612. this-pointer.cpp
  613. track-control-dependency-conditions.cpp
  614. track-control-dependency-conditions.m
  615. transparent_union_bug.c
  616. traversal-algorithm.mm
  617. traversal-begin-end-function.c
  618. traversal-path-unification.c
  619. trustnonnullchecker_test.m
  620. trustnonnullchecker_test.mm
  621. undef-buffers.c
  622. undef-call.c
  623. uninit-asm-goto.cpp
  624. uninit-bug-first-iteration-init.c
  625. uninit-const.c
  626. uninit-const.cpp
  627. uninit-exhaustive-switch-bug.c
  628. uninit-ps-rdar6145427.m
  629. uninit-sometimes.cpp
  630. uninit-val-const-likeness.c
  631. uninit-vals-union.c
  632. uninit-vals.c
  633. uninit-vals.cpp
  634. uninit-vals.m
  635. unions-region.m
  636. unions.cpp
  637. unix-api.c
  638. unix-api.cpp
  639. unix-fns.c
  640. unreachable-code-path.c
  641. unsupported-types.c
  642. unused-ivars.m
  643. use-after-move.cpp
  644. UserNullabilityAnnotations.m
  645. valist-as-lazycompound.c
  646. valist-uninitialized-no-undef.c
  647. valist-uninitialized.c
  648. valist-unterminated.c
  649. variadic-method-types.m
  650. vector.m
  651. vfork.c
  652. virtualcall-fixits.cpp
  653. virtualcall-plist.cpp
  654. virtualcall.cpp
  655. virtualcall.h
  656. vla-overflow.c
  657. vla.c
  658. weak-dependencies.c
  659. weak-functions.c
  660. yaccignore.c
  661. z3-crosscheck.c
  662. zero-operands.c