summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/CFG.cpp
AgeCommit message (Expand)Author
2025-10-02[CFG] Add a BuildOption to consider default branch of switch on covered enume...Fred Tingaud
2025-09-01[clang]: Support `analyzer_noreturn` attribute in `CFG` (#150952)Andrey Karlov
2025-08-27[clang] NFC: reintroduce clang/include/clang/AST/Type.h (#155050)Matheus Izvekov
2025-08-27[clang] NFC: rename clang/include/clang/AST/Type.h to TypeBase.h (#155049)Matheus Izvekov
2025-07-01[Analysis] Use range-based for loops (NFC) (#146466)Kazu Hirata
2025-07-01[Analysis] Remove an unnecessary cast (NFC) (#146547)Kazu Hirata
2025-06-10[clang][CFG] Fix assertion failure in checkIncorrectLogicOperator (#142897)Ziqing Luo
2025-05-31[Analysis] Remove unused includes (NFC) (#142255)Kazu Hirata
2025-05-12Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured...Fangyi Zhou
2025-05-10[Clang] Improve `-Wtautological-overlap-compare` diagnostics flag (#133653)Yutong Zhu
2025-04-25Revert "[Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConj...Balazs Benics
2025-04-25[Clang][analyzer] Replace Stmt* with ConstCFGElementRef in SymbolConjured (#1...Fangyi Zhou
2025-04-19[clang] Use llvm::SmallVector::pop_back_val (NFC) (#136451)Kazu Hirata
2025-03-06Reapply "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond)" (#129234)Balazs Benics
2025-02-22Revert "Reapply "[Analyzer][CFG] Correctly handle rebuilt default arg and def...yronglin
2025-02-17Reapply "[Analyzer][CFG] Correctly handle rebuilt default arg and default ini...yronglin
2025-02-07[analyzer] Do not destruct fields of unions (#122330)Jameson Nash
2025-02-03Revert "[Analyzer][CFG] Correctly handle rebuilt default arg and default init...Hans Wennborg
2025-02-01[Analyzer][CFG] Correctly handle rebuilt default arg and default init express...yronglin
2024-12-19Revert "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond) (#116462)"Thurston Dang
2024-12-19[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond) (#116462)Vinay Deshmukh
2024-11-21[Clang] Handle `[[noreturn]]` constructors in CFG (#115558)Oleksandr T.
2024-11-20[Clang] avoid adding consteval condition as the last statement to preserve va...Oleksandr T.
2024-09-14[clang] Nits on uses of raw_string_ostream (NFC)JOE1994
2024-06-06Revert "[Analyzer][CFG] Correctly handle rebuilt default arg and default init...bgra8
2024-05-23[Analyzer][CFG] Correctly handle rebuilt default arg and default init express...yronglin
2024-03-26[NFC] Refactor ConstantArrayType size storage (#85716)Chris B
2024-01-30[clang][NFC] Use no-param version of skipRValueSubobjectAdjustmentsTimm Bäder
2023-09-19[clang][CFG] Cleanup functionsTimm Bäder
2023-08-17[clang][Analysis] Handle && and || against variable and its negation as tauto...Takuya Shimizu
2023-07-27[analyzer] Remove rdar links from static analyzer and libAnalysis sources. NFC.Artem Dergachev
2023-07-19[analyzer] Model lifetime of a variable declared in for condition in CFG corr...tomasz-kaminski-sonarsource
2023-07-18[analyzer] Rework support for CFGScopeBegin, CFGScopeEnd, CFGLifetime elementstomasz-kaminski-sonarsource
2023-07-17Revert "Remove rdar links; NFC"Mehdi Amini
2023-07-10[NFC] Initialize pointer fields and remove needless null check.Sindhu Chittireddy
2023-07-07Remove rdar links; NFCAaron Ballman
2023-06-27Revert "[clang][CFG][NFC] A few smaller cleanups"Timm Bäder
2023-06-27[clang][CFG][NFC] A few smaller cleanupsTimm Bäder
2023-05-31[clang][analyzer][NFC] Use the operator new directly with the `BumpPtrAllocator`Dmitri Gribenko
2023-03-25[Analysis] Fix use-after-scope in CFGElement dumpSam McCall
2023-03-15[clang] Use *{Map,Set}::contains (NFC)Kazu Hirata
2023-01-14[clang] Remove remaining uses of llvm::Optional (NFC)Kazu Hirata
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata
2023-01-09Move from llvm::makeArrayRef to ArrayRef deduction guides - clang/ partserge-sans-paille
2022-12-03[Analysis] Use std::nullopt instead of None (NFC)Kazu Hirata
2022-12-02Use CTAD on llvm::SaveAndRestoreJan Svoboda
2022-11-07[clang][NFC] Use c++17 style variable type traitsNathan James
2022-09-28Fix a tautological comparison bug caught during post-commitAaron Ballman
2022-09-03[clang] Qualify auto in range-based for loops (NFC)Kazu Hirata