aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLinus Torvalds <torvalds@ppc970.osdl.org>2005-01-04 17:25:01 -0700
committerLinus Torvalds <torvalds@ppc970.osdl.org>2005-04-07 21:06:12 -0700
commit2b0d23c4b4f896059829c21c9aaf2e6b899b05c3 (patch)
treeae38da97150ea9a402fbc07d549b7e1bb8bc185a /memops.c
parentSimplify OP_PTRCAST ops too for now. (diff)
downloadsparse-2b0d23c4b4f896059829c21c9aaf2e6b899b05c3.tar.gz
sparse-2b0d23c4b4f896059829c21c9aaf2e6b899b05c3.tar.bz2
sparse-2b0d23c4b4f896059829c21c9aaf2e6b899b05c3.zip
Add warning for accessing outside of a symbol
This shows that we have some inlining bug where we seem to be corrupting the offsetting of an array. So right now the warnings we get in the kernel seem to be bogus, but this should help find that other bug too, and it doesn't trigger often enough to be too distracting.
Diffstat (limited to 'memops.c')
-rw-r--r--memops.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/memops.c b/memops.c
index b7f9409..8fd777d 100644
--- a/memops.c
+++ b/memops.c
@@ -108,6 +108,9 @@ static void simplify_loads(struct basic_block *bb)
struct pseudo_list *dominators;
unsigned long generation;
+ /* Check for illegal offsets.. */
+ check_access(insn);
+
RECURSE_PTR_REVERSE(insn, dom) {
int dominance;
if (!dom->bb)