summaryrefslogtreecommitdiff
path: root/clang/test/Analysis/explain-svals.cpp
AgeCommit message (Expand)Author
2025-11-04[analyzer] Revert incorrect LazyCoumpoundVal changes (#163461)Marco Borgeaud
2025-07-19Reland [Clang] Make the SizeType, SignedSizeType and PtrdiffType be named sug...YexuanXiao
2025-07-17Revert "[Clang] Make the SizeType, SignedSizeType and PtrdiffType be named su...Kazu Hirata
2025-07-17[Clang] Make the SizeType, SignedSizeType and PtrdiffType be named sugar type...YexuanXiao
2025-05-12Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured...Fangyi Zhou
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
2024-11-29[analyzer] Avoid creating LazyCompoundVal when possible (#116840)Balazs Benics
2024-04-16[analyzer] Handle builtin functions in MallocChecker (#88416)NagyDonat
2022-05-26[analyzer] Add UnarySymExprGabor Marton
2021-10-21Recommit: Compress formatting of array type names (int [4] -> int[4])David Blaikie
2021-10-14Revert "Compress formatting of array type names (int [4] -> int[4])"David Blaikie
2021-10-14Compress formatting of array type names (int [4] -> int[4])David Blaikie
2021-04-05[analyzer] DynamicSize: Store the dynamic sizeCharusso
2020-06-09[Analyzer] Allow creation of stack frame for functions without definitionAdam Balogh
2020-06-09[Analyzer] [NFC] Parameter RegionsAdam Balogh
2020-04-09[analyzer] Display the checker name in the text outputKirstóf Umann
2019-10-19[analyzer] Specify the C++ standard in more tests.Artem Dergachev
2018-04-11[Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyz...Adam Balogh
2018-03-12[analyzer] Support temporaries conjured by conservatively evaluated functions.Artem Dergachev
2017-07-12Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen
2017-07-12[analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen
2016-12-05DR1213: element access on an array xvalue or prvalue produces an xvalue. In theRichard Smith
2016-11-30[analyzer] SValExplainer: Support ObjC ivars and __block variables.Artem Dergachev
2016-01-15[analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion, v2.Artem Dergachev
2016-01-13Revert "[analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion."Artem Dergachev
2016-01-13[analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion.Artem Dergachev
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-30 16:34:30 +0000