llvm-project.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
2024-11-26	[clang][analysis][NFC]add static for internal linkage function (#117481)	Congcong Cai
	Detected by misc-use-internal-linkage
2024-08-02	[clang][dataflow] Fix casting in `ChromiumCheckModel`. (#101640)	Pasquale Riello
	`getDirectCallee()` may return a null pointer if the callee is not a `FunctionDecl` (for example when using function pointers), this requires to use `dyn_cast_or_null` instead of `dyn_cast`.
2023-12-13	[clang] Use StringRef::{starts,ends}_with (NFC) (#75149)	Kazu Hirata
	This patch replaces uses of StringRef::{starts,ends}with with StringRef::{starts,ends}_with for consistency with std::{string,string_view}::{starts,ends}_with in C++20. I'm planning to deprecate and eventually remove StringRef::{starts,ends}with.
2023-10-30	[clang][nullability] Use `proves()` and `assume()` instead of deprecated ↵	martinboehme
	synonyms. (#70297)
2023-07-13	[dataflow] Remove deprecated BoolValue flow condition accessors	Sam McCall
	Use the Formula versions instead, now. Differential Revision: https://reviews.llvm.org/D155152
2023-02-15	[clang][dataflow] Change `transfer` API to take a reference.	Yitzhak Mandelbaum
	The provided `CFGElement` is never null, so a reference is a more precise type. Differential Revision: https://reviews.llvm.org/D143920
2022-09-19	[clang][dataflow] Modify `transfer` in `DataflowModel` to take `CFGElement` ↵	Wei Yi Tee
	as input instead of `Stmt`. To keep API of transfer functions consistent. The single use of this transfer function in `ChromiumCheckModel` is also updated. Reviewed By: gribozavr2, sgatev Differential Revision: https://reviews.llvm.org/D133933
2022-03-18	[clang][dataflow] Add modeling of Chromium's CHECK functionality	Yitzhak Mandelbaum
	Chromium's implementation of assertions (`CHECK`, `DCHECK`, etc.) are not annotated with "noreturn", by default. This patch adds a model of the logical implications of successfully executing one of these assertions. Differential Revision: https://reviews.llvm.org/D121797