Go to file
Ted Kremenek cb507025d4 Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified
assumption logic for lval::DeclVal.

llvm-svn: 47466
2008-02-22 00:54:56 +00:00
clang Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified 2008-02-22 00:54:56 +00:00
llvm print getresult instruction. 2008-02-21 23:02:20 +00:00