summaryrefslogtreecommitdiff
path: root/clang/test/Analysis/ptr-arith.cpp
AgeCommit message (Expand)Author
2025-09-05[analyzer] Improve handling of placement new in `PointerArith` (#155855)Alejandro Álvarez Ayllón
2025-01-06Reapply "[clang][analyzer] Stable order for SymbolRef-keyed containers" (#121...Arseniy Zaostrovnykh
2025-01-03Revert "[clang][analyzer] Stable order for SymbolRef-keyed containers" (#121592)Balazs Benics
2025-01-03[clang][analyzer] Stable order for SymbolRef-keyed containers (#121551)Arseniy Zaostrovnykh
2022-11-23[analyzer] getBinding should auto-detect type only if it was not givenBalazs Benics
2022-09-13[analyzer] Prefer wrapping SymbolicRegions by ElementRegionsBalazs Benics
2022-07-27[clang] Implement ElaboratedType sugaring for types written bareMatheus Izvekov
2022-07-26[analyzer] Improve loads from reinterpret-cast fieldsBalazs Benics
2017-09-25[analyzer] Fix crash on modeling of pointer arithmeticAlexander Shaposhnikov
2017-08-28[analyzer] Adjust ptr arithmetic testAlexander Shaposhnikov
2017-08-28[analyzer] Fix crash in modeling arithmeticAlexander Shaposhnikov
2017-08-14[analyzer] Fix SimpleSValBuilder::simplifySValAlexander Shaposhnikov
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-02-23[analyzer] Improve pointer arithmetic checker.Gabor Horvath
2013-05-28[analyzer] Use a more generic MemRegion.getAsOffset to evaluate bin operators...Anna Zaks