Thank, applied in r102874.
- Daniel
On Sun, May 2, 2010 at 12:56 PM, Cristian Zamfir
<cristian.zamfir at epfl.ch> wrote:
> This should re-enable inline asm warnings.
>
> Cristi
>
> --- main.cpp ? ?(revision 102872)
> +++ main.cpp ? ?(working copy)
> @@ -807,7 +807,7 @@
> ? ? for (Function::const_iterator bbIt = fnIt->begin(), bb_ie = fnIt->end();
> ? ? ? ? ?bbIt != bb_ie; ++bbIt) {
> ? ? ? for (BasicBlock::const_iterator it = bbIt->begin(), ie = bbIt->end();
> - ? ? ? ? ? it != it; ++it) {
> + ? ? ? ? ? it != ie; ++it) {
> ? ? ? ? if (const CallInst *ci = dyn_cast<CallInst>(it)) {
> ? ? ? ? ? if (isa<InlineAsm>(ci->getCalledValue())) {
> ? ? ? ? ? ? klee_warning_once(&*fnIt,
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
>
