summaryrefslogtreecommitdiff
path: root/test/Analysis/misc-ps.c
AgeCommit message (Expand)Author
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-25Fix for PR15623 (corrected r290413 reverted at 290415). The patch eliminates ...Anton Yartsev
2016-12-23Revert changes made by r290413 until regression is fixed.Anton Yartsev
2016-12-23Fix for PR15623. The patch eliminates unwanted ProgramState checker data prop...Anton Yartsev
2013-05-29[analyzer] Accept references to variables declared "extern void" (C only).Jordan Rose
2013-04-06[analyzer] When creating a trimmed graph, preserve whether a node is a sink.Jordan Rose
2013-01-11Refine analyzer's handling of unary '!' and floating types to not assert.Ted Kremenek
2013-01-11Correctly propagate uninitialized values within logical expressions.Ted Kremenek
2012-09-07Add test case for <rdar://problem/12075238>, which recently got fixed by chan...Ted Kremenek
2012-07-25Update ExprEngine's handling of ternary operators to find the ternary expressionTed Kremenek
2012-02-21Have ScanReachableSymbols reported reachable regions. Fixes a false positive...Ted Kremenek
2012-01-04[analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks
2011-11-14[analyzer;Regionstore] handle loads from StringLiteral elements for StringLit...Ted Kremenek
2011-11-01[analyzer] Fix PR11282 - an assert in markAsSinkAnna Zaks
2011-11-01[analyzer] BranchNodeBuilder should not generate autotransitions.Anna Zaks
2011-10-20Add test case for analyzer crash reported in <rdar://problem/10308201> (which...Ted Kremenek
2011-06-10[analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expres...Jordy Rose
2011-06-09[analyzer] Ignore parentheses around block-level expressions when computing l...Jordy Rose
2011-06-08[analyzer] Look through __extension__ expressions in a GRState's Environment....Jordy Rose
2011-05-25static analyzer: when conservatively evaluating functions, don't invalidate t...Ted Kremenek
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-02 20:58:08 +0000