Commit Graph

41 Commits

Author SHA1 Message Date
Axel Naumann
2b58f4ad21 Rename to match more generic content. 2016-02-05 11:59:04 +01:00
CristinaCristescu
2906250d08 Add lambda test for null deref. 2016-02-05 11:59:04 +01:00
Axel Naumann
ba2d25f20a No diags! Really do iter deref. User fwd decl. 2016-01-28 15:12:50 +01:00
CristinaCristescu
0329828fd8 Add tests for cling NullDeref.
If stmt testing and checking that the execution is stopped after
a null deref warning.
2016-01-28 15:12:50 +01:00
Axel Naumann
abf65cb689 Typo. 2016-01-13 10:14:06 +01:00
Axel Naumann
1044052eed Range-based for loop requires type for loop variable. 2016-01-13 09:59:04 +01:00
Axel Naumann
5c22ebb509 Do not print invalid memory. 2016-01-04 17:44:24 +01:00
CristinaCristescu
b8d475fd0c Add invalid deref tests. 2015-12-18 12:44:09 +01:00
CristinaCristescu
95e3dcf8ef Check for invalid pointer address access. 2015-12-15 20:24:16 +01:00
CristinaCristescu
982a3ae38b Enable the NullDeref Cling test for MethodCalls. 2015-12-15 20:24:16 +01:00
Axel Naumann
ae0290a4fb Follow change in warning; add new warning. 2015-02-11 10:57:46 +01:00
Philippe Canal
576ca3ca96 Remove trailing spaces 2014-08-13 16:08:36 +02:00
Vassil Vassilev
234bfb7770 Simplify some of the changes due to the new diag mapping. 2014-04-01 17:09:58 +02:00
Vassil Vassilev
14dc0c1c99 Silence a warning. 2014-03-31 14:03:09 +02:00
Axel Naumann
fae0d4037f Follow changes in llvm/clang. 2014-02-18 08:29:38 +01:00
Axel Naumann
d240bd5de8 Refer to license in test and demo files. 2014-01-07 12:02:58 +01:00
Axel Naumann
3c7481a11c Not using exceptions anymore thus these now work on 32bit. 2013-10-14 17:10:55 +02:00
Axel Naumann
84b49183f3 Adapt to new diag format. 2013-10-03 09:54:00 +02:00
Vassil Vassilev
069a9d76c1 Remove unnecessary files that used to 'steer' the testsuite. 2013-09-27 14:33:05 +02:00
Baozeng Ding
fc98551c43 Add more tests testing derefs in BinOps and Casts. 2013-09-25 10:07:06 +02:00
Vassil Vassilev
bcb3aaa6ae Disable tests on SLC6 32 bit. 2013-09-13 15:25:01 +02:00
Vassil Vassilev
1ddf4093b9 Extend the AST null deref checher and disable the IR checker.
This resulted in one change of warning kind, which is expected. I disabled the
test MetdhoCalls, Baozeng will look at it once he gets the code.
2013-09-11 13:50:57 +02:00
Baozeng Ding
a62759105c Add support for int *p = 0; *p; at AST level. 2013-09-10 11:43:57 +02:00
Baozeng Ding
a46498e831 Adapt the test suite to the new warnings produced.
Disable the indirect calls. We don't support them yet on AST level.
2013-09-09 15:38:51 +02:00
Baozeng Ding
715e222957 Add support for null deref checks in indirect calls. 2013-08-21 11:34:51 +02:00
Baozeng Ding
cc877954ae Add support for mangling: How we can check regular C++ functions.
Indirect calls are still an issue.
2013-08-21 11:14:55 +02:00
Vassil Vassilev
f3ccb10135 Spell correctly expected-warning and not warning expected. Call a function with non null and check the expected result. 2013-08-16 22:52:52 +02:00
Baozeng Ding
eca58d0ffc Add support for the cases where the pointer is not char*. 2013-08-16 19:50:53 +02:00
Vassil Vassilev
76c598f0ff Uncomment commented lines, that fail on Mac. 2013-08-15 23:17:51 +02:00
Vassil Vassilev
452e98bf46 Add a reproducer in the test of a current issue for Baozeng to look into.
This happens probably because we don't iterate over the redecl chains and thus
we don't pickup the attribute.
2013-08-15 23:17:51 +02:00
Vassil Vassilev
eeb99d7030 Add failing test for Baozeng to fine tune the NullDeref impl. 2013-08-15 22:26:57 +02:00
Vassil Vassilev
694eb20c36 Mark back as non-failing. There is still some issue on Mac that need to be investigated. 2013-08-15 10:15:55 +02:00
Vassil Vassilev
914c09228e Mark test as XFAIL. Follow the cling naming convention. 2013-08-15 09:49:59 +02:00
Baozeng Ding
4f70eafbfd Add a simple test testing the new functionality. 2013-08-14 21:05:55 +02:00
Vassil Vassilev
ecf7e03df8 Not using real SourceLocation is bad, especially in -verify mode. In the value printer synthesis we have real source location of the expression that we are replacing. Use its begin and end location. This will allow us to remove the XFAIL-ed test that now passes. 2013-08-08 22:55:54 +02:00
Vassil Vassilev
6c734dd78c Only if I could spell C++ :) 2013-08-08 16:59:55 +02:00
Vassil Vassilev
a0850bbf4c Add another expected to pass construct for null deref. 2013-08-08 15:01:54 +02:00
Vassil Vassilev
66514e8d09 Add an XFAIL-ing test, as TODO for Baozeng. 2013-08-07 17:58:56 +02:00
Vassil Vassilev
9bb1eae342 We check whether there is terminal attached and if not (as the case of the testsuite) we don't need to answer the warning. 2013-08-07 17:58:56 +02:00
Baozeng Ding
8e17b5e93e Report the null deref warning through diagnostic engine. 2013-07-27 20:43:03 +02:00
Vassil Vassilev
5b2655d120 Add testcases. 2013-07-21 15:16:57 +02:00