search

mheinsen / seec

Program visualization and debugging for novice C programmers
http://seec-team.github.io/seec/
MIT License
3 stars 0 forks source link

Hide Allocas that have an associated llvm.dbg.declare that has not been evaluated. #14

Closed mheinsen closed 11 years ago

mheinsen commented 11 years ago

Allow clients of seec::trace::FunctionState to query allocas whose associated variables conceptually exist (if they have associated variables) according to the debugging information (if it is available). We will use this to hide local variables that have had memory allocated, but do not yet exist according to the source language.

mheinsen commented 11 years ago

Handled by seec::trace::FunctionState::getVisibleAllocas().