aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/CFG.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-07-01[Analysis] Use range-based for loops (NFC) (#146466)Kazu Hirata1-3/+2
2025-07-01[Analysis] Remove an unnecessary cast (NFC) (#146547)Kazu Hirata1-2/+1
2025-06-10[clang][CFG] Fix assertion failure in checkIncorrectLogicOperator (#142897)Ziqing Luo1-0/+22
2025-05-31[Analysis] Remove unused includes (NFC) (#142255)Kazu Hirata1-1/+0
2025-05-12Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured...Fangyi Zhou1-20/+26
2025-05-10[Clang] Improve `-Wtautological-overlap-compare` diagnostics flag (#133653)Yutong Zhu1-74/+112
2025-04-25Revert "[Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConj...Balazs Benics1-26/+20
2025-04-25[Clang][analyzer] Replace Stmt* with ConstCFGElementRef in SymbolConjured (#1...Fangyi Zhou1-20/+26
2025-04-19[clang] Use llvm::SmallVector::pop_back_val (NFC) (#136451)Kazu Hirata1-2/+1
2025-03-06Reapply "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond)" (#129234)Balazs Benics1-14/+57
2025-02-22Revert "Reapply "[Analyzer][CFG] Correctly handle rebuilt default arg and def...yronglin1-45/+9
2025-02-17Reapply "[Analyzer][CFG] Correctly handle rebuilt default arg and default ini...yronglin1-9/+45
2025-02-07[analyzer] Do not destruct fields of unions (#122330)Jameson Nash1-0/+2
2025-02-03Revert "[Analyzer][CFG] Correctly handle rebuilt default arg and default init...Hans Wennborg1-41/+9
2025-02-01[Analyzer][CFG] Correctly handle rebuilt default arg and default init express...yronglin1-9/+41
2024-12-19Revert "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond) (#116462)"Thurston Dang1-52/+20
2024-12-19[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond) (#116462)Vinay Deshmukh1-20/+52
2024-11-21[Clang] Handle `[[noreturn]]` constructors in CFG (#115558)Oleksandr T.1-11/+15
2024-11-20[Clang] avoid adding consteval condition as the last statement to preserve va...Oleksandr T.1-1/+4
2024-09-14[clang] Nits on uses of raw_string_ostream (NFC)JOE19941-4/+3
2024-06-06Revert "[Analyzer][CFG] Correctly handle rebuilt default arg and default init...bgra81-41/+9
2024-05-23[Analyzer][CFG] Correctly handle rebuilt default arg and default init express...yronglin1-9/+41
2024-03-26[NFC] Refactor ConstantArrayType size storage (#85716)Chris B1-2/+2
2024-01-30[clang][NFC] Use no-param version of skipRValueSubobjectAdjustmentsTimm Bäder1-4/+1
2023-09-19[clang][CFG] Cleanup functionsTimm Bäder1-11/+29
2023-08-17[clang][Analysis] Handle && and || against variable and its negation as tauto...Takuya Shimizu1-5/+30
2023-07-27[analyzer] Remove rdar links from static analyzer and libAnalysis sources. NFC.Artem Dergachev1-2/+1
2023-07-19[analyzer] Model lifetime of a variable declared in for condition in CFG corr...tomasz-kaminski-sonarsource1-2/+5
2023-07-18[analyzer] Rework support for CFGScopeBegin, CFGScopeEnd, CFGLifetime elementstomasz-kaminski-sonarsource1-224/+196
2023-07-17Revert "Remove rdar links; NFC"Mehdi Amini1-1/+2
2023-07-10[NFC] Initialize pointer fields and remove needless null check.Sindhu Chittireddy1-1/+1
2023-07-07Remove rdar links; NFCAaron Ballman1-2/+1
2023-06-27Revert "[clang][CFG][NFC] A few smaller cleanups"Timm Bäder1-5/+5
2023-06-27[clang][CFG][NFC] A few smaller cleanupsTimm Bäder1-5/+5
2023-05-31[clang][analyzer][NFC] Use the operator new directly with the `BumpPtrAllocator`Dmitri Gribenko1-4/+2
2023-03-25[Analysis] Fix use-after-scope in CFGElement dumpSam McCall1-1/+2
2023-03-15[clang] Use *{Map,Set}::contains (NFC)Kazu Hirata1-2/+1
2023-01-14[clang] Remove remaining uses of llvm::Optional (NFC)Kazu Hirata1-1/+0
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata1-6/+7
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata1-0/+1
2023-01-09Move from llvm::makeArrayRef to ArrayRef deduction guides - clang/ partserge-sans-paille1-2/+2
2022-12-03[Analysis] Use std::nullopt instead of None (NFC)Kazu Hirata1-2/+2
2022-12-02Use CTAD on llvm::SaveAndRestoreJan Svoboda1-37/+35
2022-11-07[clang][NFC] Use c++17 style variable type traitsNathan James1-3/+3
2022-09-28Fix a tautological comparison bug caught during post-commitAaron Ballman1-2/+2
2022-09-03[clang] Qualify auto in range-based for loops (NFC)Kazu Hirata1-1/+1
2022-08-24[analyzer] Process non-POD array element destructorsisuckatcs1-3/+15
2022-08-22[analyzer] Handling non-POD multidimensional arrays in ArrayInitLoopExprisuckatcs1-4/+18
2022-08-19Missing tautological compare warnings due to unary operatorsMuhammad Usman Shahid1-12/+57
2022-08-16[CFG] Fix crash on CFG building when deriving from a template.Clement Courbet1-2/+2