home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.compilers      Compiler construction, theory, etc. (Mod      2,753 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 1,980 of 2,753   
   Jack Smith to All   
   Abstract Interpretation vs DFA in Clang    
   10 Jan 11 14:05:44   
   
   From: ilikequoting@katamail.com   
      
   Hello everyone,   
      
   i'm a University student and i've almost finished my first course of   
   abstract interpretation. i don't know much about data flow analysis   
   (DFA), and i'm wondering if it's worth of study it more in deep. (i my   
   compiler's course with treated the front-end part of the dragon book   
   only)   
      
   since someone says that nowadays it's better abstract interpretation   
   than DFA can anyone tell me what's the difference among them?  does   
   anybody know what kind of abstract int. (or DFA) techniques are used   
   in GCC and CLANG compiler?   
      
   some people say CLANG semantic analyzer is faster that GCC's one.   
   could this be related with the fact that CLANG's semantic checks are   
   weaker? anyway, how can clang be faster than gcc?   
      
   thank you!   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca